--- a/src/java.base/windows/classes/java/io/WinNTFileSystem.java	Thu Dec 13 16:14:07 2018 +0100
+++ b/src/java.base/windows/classes/java/io/WinNTFileSystem.java	Thu Dec 13 15:31:05 2018 +0100
@@ -64,7 +64,7 @@
     }
 
     private String slashify(String p) {
-        if ((p.length() > 0) && (p.charAt(0) != slash)) return slash + p;
+        if (!p.isEmpty() && p.charAt(0) != slash) return slash + p;
         else return p;
     }