自昨天（2018 年 10 月 21 日）以來，我一直面臨著 Java 時區的一些問題?？雌饋?java 正在考慮在巴西實行夏令時，但事實并非如此。我創建了以下測試以確保public static void main(String[] args) {    ZonedDateTime dateTime = LocalDateTime.now().atZone(ZoneId.systemDefault());    System.out.println(dateTime);    ZonedDateTime saoPaulo = dateTime.withZoneSameInstant(ZoneId.of("America/Sao_Paulo"));    ZonedDateTime cuiba = dateTime.withZoneSameInstant(ZoneId.of("America/Cuiaba"));    ZonedDateTime rightTime = dateTime.withZoneSameInstant(ZoneId.of("GMT-4"));    System.out.println(saoPaulo);    System.out.println(cuiba);    System.out.println(rightTime);}這給出了以下輸出    2018-10-22T09:55:34.473-02:00[America/Sao_Paulo]    2018-10-22T09:55:34.473-02:00[America/Sao_Paulo]    2018-10-22T08:55:34.473-03:00[America/Cuiaba]    2018-10-22T07:55:34.473-04:00[GMT-04:00]這是錯誤的，因為圣保羅的當前時區應該是 -03 而 America/Cuiaba 應該是 -04任何人都知道Java上時區信息的來源是什么？我可以做些什么來解決這個問題？我知道我可以通過設置固定的 GMT 偏移量來修復它，但我不喜歡它。