--- old/src/jdk.naming.dns/share/classes/com/sun/jndi/dns/ResourceRecord.java	2018-12-06 17:53:53.577679661 -0500
+++ new/src/jdk.naming.dns/share/classes/com/sun/jndi/dns/ResourceRecord.java	2018-12-06 17:53:53.405678808 -0500
@@ -200,7 +200,7 @@
     }
 
     private static int nameToValue(String name, String[] names) {
-        if (name.equals("")) {
+        if (name.isEmpty()) {
             return -1;                          // invalid name
         } else if (name.equals("*")) {
             return QTYPE_STAR;                  // QTYPE_STAR == QCLASS_STAR