src/java.base/share/classes/java/security/Provider.java
changeset 58337 270abce77942
parent 58242 94bb65cb37d3
child 58679 9c3209ff7550
--- a/src/java.base/share/classes/java/security/Provider.java	Tue Sep 24 14:46:38 2019 +0200
+++ b/src/java.base/share/classes/java/security/Provider.java	Wed Sep 25 08:29:03 2019 -0700
@@ -1255,9 +1255,9 @@
         }
         synchronized (this) {
             ensureLegacyParsed();
-        }
-        if (legacyMap != null && !legacyMap.isEmpty()) {
-            return legacyMap.get(key);
+            if (legacyMap != null && !legacyMap.isEmpty()) {
+                return legacyMap.get(key);
+            }
         }
         return null;
     }