property files and character encodings

Mon Sep 10 20:03:00 GMT 2001

I came up with a patch of my own. Can I just check this in?
2001年09月10日 Anthony Green <green@redhat.com>
	* java/util/Properties.java: Increment index while parsing \u
	sequence.
Index: libjava/java/util/Properties.java
===================================================================
RCS file: /cvs/gcc/gcc/libjava/java/util/Properties.java,v
retrieving revision 1.9
diff -c -u -r1.9 Properties.java

--- Properties.java	2001年09月06日 17:16:09	1.9
+++ Properties.java	2001年09月11日 02:56:03
@@ -185,6 +185,7 @@
 			 char uni = (char) Integer.parseInt
 			 (line.substring(pos, pos + 4), 16);
 			 key.append(uni);
+			 pos += 4;
 			 }	// else throw exception?
 			break;
 		 default:
AG
