--- a/src/java.base/share/classes/sun/security/provider/SeedGenerator.java	Thu Dec 13 16:14:07 2018 +0100
+++ b/src/java.base/share/classes/sun/security/provider/SeedGenerator.java	Thu Dec 13 15:31:05 2018 +0100
@@ -113,7 +113,7 @@
                                   + "generator: " + e.toString());
                 }
             }
-        } else if (egdSource.length() != 0) {
+        } else if (!egdSource.isEmpty()) {
             try {
                 instance = new URLSeedGenerator(egdSource);
                 if (debug != null) {