src/java.base/share/classes/jdk/internal/loader/URLClassPath.java
changeset 53018 8bf9268df0e2
parent 52915 3addaaf7eaea
child 53277 b002e4ee60b0
--- a/src/java.base/share/classes/jdk/internal/loader/URLClassPath.java	Thu Dec 13 16:14:07 2018 +0100
+++ b/src/java.base/share/classes/jdk/internal/loader/URLClassPath.java	Thu Dec 13 15:31:05 2018 +0100
@@ -190,7 +190,7 @@
                 String element = (next == -1)
                     ? cp.substring(off)
                     : cp.substring(off, next);
-                if (element.length() > 0 || !skipEmptyElements) {
+                if (!element.isEmpty() || !skipEmptyElements) {
                     URL url = toFileURL(element);
                     if (url != null) path.add(url);
                 }