As for the English names, I propose they're changed into Western Time of Indonesia (WTI), Central Time of Indonesia (CTI), Eastern Time of Indonesia (CTI). According to http://www.statoids.com/tid.html the English equivalent (translation) are: Western Indonesia Standard Time (WIST), Central Indonesia Standard Time (CIST), Eastern Indonesia Standard Time (EIST).