src/java.base/share/classes/java/io/Console.java
changeset 53018 8bf9268df0e2
parent 52427 3c6aa484536c
--- 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) {