property files and character encodings

[Tom Tromey]

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

Anthony> I came up with a patch of my own.  Can I just check this in?
Anthony> 2001-09-10  Anthony Green  <green@redhat.com>
Anthony> 	* java/util/Properties.java: Increment index while parsing \u
Anthony> 	sequence.

I just checked in my patch, which is a superset of this one.
There's another case lower down with the same problem.

Tom