"SE Asia Standard Time" . GMT + 7 :
public static void main(String[] args) {
Arrays.asList(TimeZone.getAvailableIDs()).stream()
.map(TimeZone::getTimeZone)
.filter(zone -> zone.getRawOffset() == 7 * 60 * 60 * 1000)
.forEach(zone -> System.out.printf("%-20s %s\n", zone.getID(), zone.getDisplayName()));
}
Antarctica/Davis Davis Time
Asia/Bangkok Indochina Time
Asia/Ho_Chi_Minh Indochina Time
Asia/Hovd Hovd Time
Asia/Jakarta West Indonesia Time
Asia/Krasnoyarsk Krasnoyarsk Time
Asia/Novokuznetsk Krasnoyarsk Time
Asia/Phnom_Penh Indochina Time
Asia/Pontianak West Indonesia Time
Asia/Saigon Indochina Time
Asia/Vientiane Indochina Time
Etc/GMT-7 GMT+07:00
Indian/Christmas Christmas Island Time
VST Indochina Time