src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystem.java
changeset 53018 8bf9268df0e2
parent 52893 f14aa990b330
--- a/src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystem.java	Thu Dec 13 16:14:07 2018 +0100
+++ b/src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystem.java	Thu Dec 13 15:31:05 2018 +0100
@@ -123,7 +123,7 @@
         StringBuilder sb = new StringBuilder();
         sb.append(first);
         for (String path : more) {
-            if (path.length() > 0) {
+            if (!path.isEmpty()) {
                 if (sb.length() > 0) {
                     sb.append('/');
                 }