jdk/src/java.base/share/classes/java/security/SecureRandom.java
changeset 42780 7781326fff20
parent 42161 5b0b84715c06
child 43801 b2566397a3c0
--- a/jdk/src/java.base/share/classes/java/security/SecureRandom.java	Tue Dec 20 13:46:44 2016 -0800
+++ b/jdk/src/java.base/share/classes/java/security/SecureRandom.java	Tue Dec 20 17:13:34 2016 -0500
@@ -310,10 +310,14 @@
 
         if (!skipDebug && pdebug != null) {
             pdebug.println("SecureRandom." + algorithm +
-                " algorithm from: " + this.provider.getName());
+                " algorithm from: " + getProviderName());
         }
     }
 
+    private String getProviderName() {
+        return (provider == null) ? "(no provider)" : provider.getName();
+    }
+
     /**
      * Returns a {@code SecureRandom} object that implements the specified
      * Random Number Generator (RNG) algorithm.