src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java
changeset 53018 8bf9268df0e2
parent 52012 6f58ecdb060a
child 57478 5d7cb195ea1c
child 58678 9cf78a70fa4f
--- a/src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java	Thu Dec 13 16:14:07 2018 +0100
+++ b/src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java	Thu Dec 13 15:31:05 2018 +0100
@@ -1439,7 +1439,7 @@
      */
     public DateTimeFormatterBuilder appendLiteral(String literal) {
         Objects.requireNonNull(literal, "literal");
-        if (literal.length() > 0) {
+        if (!literal.isEmpty()) {
             if (literal.length() == 1) {
                 appendInternal(new CharLiteralPrinterParser(literal.charAt(0)));
             } else {
@@ -1832,7 +1832,7 @@
                     throw new IllegalArgumentException("Pattern ends with an incomplete string literal: " + pattern);
                 }
                 String str = pattern.substring(start + 1, pos);
-                if (str.length() == 0) {
+                if (str.isEmpty()) {
                     appendLiteral('\'');
                 } else {
                     appendLiteral(str.replace("''", "'"));
@@ -4332,7 +4332,7 @@
             this.key = k;
             this.value = v;
             this.child = child;
-            if (k.length() == 0){
+            if (k.isEmpty()) {
                 c0 = 0xffff;
             } else {
                 c0 = key.charAt(0);