--- old/src/java.sql/share/classes/java/sql/DriverManager.java	2018-12-06 17:53:39.721610952 -0500
+++ new/src/java.sql/share/classes/java/sql/DriverManager.java	2018-12-06 17:53:39.549610099 -0500
@@ -622,7 +622,7 @@
 
             println("DriverManager.initialize: jdbc.drivers = " + drivers);
 
-            if (drivers != null && !drivers.equals("")) {
+            if (drivers != null && !drivers.isEmpty()) {
                 String[] driversList = drivers.split(":");
                 println("number of Drivers:" + driversList.length);
                 for (String aDriver : driversList) {