サマータイムが導入されると、JST= 09:00はそのままで新しくタイムゾーンが増えるけど、JDTは1948年〜1951年ので使われていて 10:00。今回検討されてるのは2時間ずれなので、さらに別のタイムゾーンが増えることになるわけだ。