Incorrect time zone abbreviations for Indonesia

[Jason Grimes]

Dear time zone data maintainers,

I'm a developer at ProZ.com, a website for human language translators.
One of our users has reported that the time zone names for the time
zones in Indonesia, specifically Asia/Jakarta, Asia/Pontianak,
Asia/Makassar, and Asia/Jayapura, are incorrect in the current time zone
data.

According to her, and to the following references, it appears that these
time zone abbreviations should be updated as follows:

ID                 offset  current  new
Asia/Jakarta       UTC+7   WIT      WIB  (Waktu Indonesia Barat)
Asia/Pontianak     UTC+7   WIT      WIB  (Waktu Indonesia Barat)
Asia/Makassar      UTC+8   CIT      WITA (Waktu Indonesia Tengah)
Asia/Jayapura      UTC+9   EIT      WIT  (Waktu Indonesia Timur)


References:
http://time.kim.lipi.go.id/
http://www.statoids.com/tid.html

I noticed a similar bug report from 2005 but I was unable to find any
resolution:
http://article.gmane.org/gmane.linux.debian.devel.glibc/12741/match=indonesia

I hope this gives enough information to update these time zone names.

Thanks to all of you who help to maintain this valuable resource.

Best regards,

Jason Grimes