On Tue, 18 Apr 2023 05:08:35 GMT, Yoshiki Sato <ysato...@openjdk.org> wrote:
> Please review this PR. > With this minor change, the javazic compiler (Main.java) can produce the HTML > files that display given time zone data correctly. I revisited the code, and now think that `mapList` better be `null`, as it indicates the map option was not provided, so I think modifying the offending line as LatitudeAndLongitude location = (mapList != null ? mapList.get(zonename) : null); may be cleaner. ------------- PR Review: https://git.openjdk.org/jdk/pull/13504#pullrequestreview-1400371061