a patch to java.util.Properties.java

[Ito Kazumitsu]

This is a patch to java.util.Properties.java, without which
load(InputStream) goes into an infinite loop if end of file
appears before '\n'.

--- Properties.java.orig	Sat Jul 22 07:53:23 2000
+++ Properties.java	Mon Apr  9 15:46:39 2001
@@ -162,7 +162,11 @@
 		switch (ch) {
 			case '#':
 			case '!':
-				while ((ch = in.read()) != '\n');
+				while (true) {
+					ch = in.read();
+					if (ch == -1) return false;
+					if (ch == '\n') break;
+				}
 				continue;
 			case -1:
 				return false;