property files and character encodings

[Tom Tromey]

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

Anthony> {http\u003a//xml.apache.org/xslt}indent-amount=0
Anthony> Note the escape sequence for `:'.

Anthony> The program then tries to search this resource bundle for
Anthony> "{ http://xml.apache.org/xslt}content-handler" ; and doesn't
Anthony> find a match.  The problem is that \u003a isn't being
Anthony> converted into `:' when read from a property file.  I don't
Anthony> know what the right solution is.  Advice welcome...

This is a bug in java.util.Properties.load().  I'm testing a fix.
I'll check it in if it passes my tests.

Thanks,
Tom