--- old/src/java.management.rmi/share/classes/javax/management/remote/rmi/RMIConnectorServer.java	2018-12-06 17:25:58.117371502 -0500
+++ new/src/java.management.rmi/share/classes/javax/management/remote/rmi/RMIConnectorServer.java	2018-12-06 17:25:57.949370669 -0500
@@ -289,7 +289,7 @@
                 throw new MalformedURLException(msg);
             }
             final String urlPath = url.getURLPath();
-            if (!urlPath.equals("")
+            if (!urlPath.isEmpty()
                 && !urlPath.equals("/")
                 && !urlPath.startsWith("/jndi/")) {
                 final String msg = "URL path must be empty or start with " +
@@ -746,7 +746,7 @@
             port = 0;
         } else {
             protocol = address.getProtocol();
-            host = (address.getHost().equals("")) ? null : address.getHost();
+            host = (address.getHost().isEmpty()) ? null : address.getHost();
             port = address.getPort();
         }