Patch: FYI: java.text merge

[Tom Tromey]

>>>>> "Anthony" == Anthony Green <green@redhat.com> writes:

Anthony> What's happening is that we're defaulting to load
Anthony> gnu.java.locale.LocaleInformation_en which doesn't provide
Anthony> zoneStrings (required by DateFormatSymbols).

Try changing gnu/java/locale/LocaleInformation.java to extend
LocaleInformation_en_US instead of just LocaleInformation_en.
I introduced this problem :-(

Tom