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

@@ -102,11 +102,11 @@
      *             stream has been reached
      *
      * @exception  IOException  If an I/O error occurs
      * @exception  IndexOutOfBoundsException {@inheritDoc}
      */
-    public int read(char cbuf[], int off, int len) throws IOException {
+    public int read(char[] cbuf, int off, int len) throws IOException {
         synchronized (lock) {
             ensureOpen();
             try {
                 if (len <= 0) {
                     if (len < 0) {

@@ -170,11 +170,11 @@
      * @param  len   Number of characters to push back
      *
      * @exception  IOException  If there is insufficient room in the pushback
      *                          buffer, or if some other I/O error occurs
      */
-    public void unread(char cbuf[], int off, int len) throws IOException {
+    public void unread(char[] cbuf, int off, int len) throws IOException {
         synchronized (lock) {
             ensureOpen();
             if (len > pos)
                 throw new IOException("Pushback buffer overflow");
             pos -= len;

@@ -191,11 +191,11 @@
      * @param  cbuf  Character array to push back
      *
      * @exception  IOException  If there is insufficient room in the pushback
      *                          buffer, or if some other I/O error occurs
      */
-    public void unread(char cbuf[]) throws IOException {
+    public void unread(char[] cbuf) throws IOException {
         unread(cbuf, 0, cbuf.length);
     }
 
     /**
      * Tells whether this stream is ready to be read.