--- a/src/java.rmi/share/classes/com/sun/rmi/rmid/ExecOptionPermission.java	Fri Dec 07 17:11:17 2018 +0100
+++ b/src/java.rmi/share/classes/com/sun/rmi/rmid/ExecOptionPermission.java	Fri Dec 07 11:51:17 2018 -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");
         }