Java Data Type - 如何将时区名称转换为城市名称(删除大陆部分)

import java.util.TimeZone;

public class Main {

  public static void main(String[] args) {
    String[] ids = TimeZone.getAvailableIDs();

    for (String id : ids) {
      int slash = id.indexOf('/');
      String stripped = id.substring(slash + 1).replace("_", " ");
      System.out.println(stripped);
    }
  }
}