--- a/src/java.base/share/classes/java/io/Console.java Thu Dec 13 16:14:07 2018 +0100
+++ b/src/java.base/share/classes/java/io/Console.java Thu Dec 13 15:31:05 2018 +0100
@@ -247,7 +247,7 @@
String line = null;
synchronized (writeLock) {
synchronized(readLock) {
- if (fmt.length() != 0)
+ if (!fmt.isEmpty())
pw.format(fmt, args);
try {
char[] ca = readline(false);
@@ -319,7 +319,7 @@
}
IOError ioe = null;
try {
- if (fmt.length() != 0)
+ if (!fmt.isEmpty())
pw.format(fmt, args);
passwd = readline(true);
} catch (IOException x) {