Windows JDK has `lib/tzmappings` file that maps Windows time zones and Java's time zones. There are redundant entries, e.g.,
```
Mountain Standard Time (Mexico):MX:America/Mazatlan:
Mountain Standard Time (Mexico):001:America/Mazatlan:
```
The latter line should cover all regions including `MX`, so the former line should be removed.