--- old/src/java.rmi/share/classes/com/sun/rmi/rmid/ExecOptionPermission.java	2018-12-06 17:26:22.125490552 -0500
+++ new/src/java.rmi/share/classes/com/sun/rmi/rmid/ExecOptionPermission.java	2018-12-06 17:26:21.957489718 -0500
@@ -189,7 +189,7 @@
         if (name == null)
             throw new NullPointerException("name can't be null");
 
-        if (name.equals("")) {
+        if (name.isEmpty()) {
             throw new IllegalArgumentException("name can't be empty");
         }