--- /home/cpdev/src/classpath/java/io/DataInputStream.java	2005-07-02 21:03:29.000000000 +0000
+++ java/io/DataInputStream.java	2005-06-30 05:34:34.000000000 +0000
@@ -361,8 +361,8 @@
 	    int next_c = in.read();
             if (next_c != '\n' && next_c != -1)
               {
-                if (!(in instanceof PushbackInputStream))
-                  in = new PushbackInputStream(in);
+                if (! (in instanceof PushbackInputStream))
+                    in = new PushbackInputStream(in);
                 ((PushbackInputStream) in).unread(next_c);
               }
             break;