--- old/src/java.base/share/classes/java/io/PrintStream.java 2018-09-28 11:27:29.813908797 +0700 +++ new/src/java.base/share/classes/java/io/PrintStream.java 2018-09-28 11:27:28.713908797 +0700 @@ -552,7 +552,7 @@ * @param off Offset from which to start taking bytes * @param len Number of bytes to write */ - public void write(byte buf[], int off, int len) { + public void write(byte[] buf, int off, int len) { try { synchronized (this) { ensureOpen(); @@ -575,7 +575,7 @@ * stream occur as promptly as with the original PrintStream. */ - private void write(char buf[]) { + private void write(char[] buf) { try { synchronized (this) { ensureOpen(); @@ -728,7 +728,7 @@ * * @throws NullPointerException If {@code s} is {@code null} */ - public void print(char s[]) { + public void print(char[] s) { write(s); } @@ -863,7 +863,7 @@ * * @param x an array of chars to print. */ - public void println(char x[]) { + public void println(char[] x) { synchronized (this) { print(x); newLine();