src/java.base/share/classes/java/io/DataInput.java

@@ -195,11 +195,11 @@
      * @throws  NullPointerException if {@code b} is {@code null}.
      * @throws  EOFException  if this stream reaches the end before reading
      *          all the bytes.
      * @throws  IOException   if an I/O error occurs.
      */
-    void readFully(byte b[]) throws IOException;
+    void readFully(byte[] b) throws IOException;
 
     /**
      *
      * Reads {@code len}
      * bytes from

@@ -245,11 +245,11 @@
      *          {@code b.length - off}.
      * @throws  EOFException  if this stream reaches the end before reading
      *          all the bytes.
      * @throws  IOException   if an I/O error occurs.
      */
-    void readFully(byte b[], int off, int len) throws IOException;
+    void readFully(byte[] b, int off, int len) throws IOException;
 
     /**
      * Makes an attempt to skip over
      * {@code n} bytes
      * of data from the input