--- old/src/java.base/windows/classes/jdk/internal/loader/FileURLMapper.java	2018-12-06 14:53:11.335915887 -0500
+++ new/src/java.base/windows/classes/jdk/internal/loader/FileURLMapper.java	2018-12-06 14:53:11.171915074 -0500
@@ -55,7 +55,7 @@
             return file;
         }
         String host = url.getHost();
-        if (host != null && !host.equals("") &&
+        if (host != null && !host.isEmpty() &&
             !"localhost".equalsIgnoreCase(host)) {
             String rest = url.getFile();
             String s = host + ParseUtil.decode (url.getFile());