* java/io/BufferedReader.java: Use <=, not <&eq; to make gjdoc

       happy.

2 files changed, 6 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index caf00ab07..634c9d214 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2004-03-12  Mark Wielaard  <mark@klomp.org>
 
+	* java/io/BufferedReader.java: Use &lt;=, not &lt;&eq; to make gjdoc
+	happy.
+
+2004-03-12  Mark Wielaard  <mark@klomp.org>
+
 	Reported by Stephen Crawley
 	* java/io/FilePermission.java (implies): Use String.length() -1 to
 	access last char of String.
diff --git a/java/io/BufferedReader.java b/java/io/BufferedReader.java
index 1bc0dcf79..9175d4e89 100644
--- a/java/io/BufferedReader.java
+++ b/java/io/BufferedReader.java
@@ -112,7 +112,7 @@ public class BufferedReader extends Reader
    * @param in The subordinate stream to read from
    * @param size The buffer size to use
    *
-   * @exception IllegalArgumentException if size &lt;&eq; 0
+   * @exception IllegalArgumentException if size &lt;= 0
    */
   public BufferedReader(Reader in, int size)
   {