src/java.base/share/classes/java/security/Provider.java
changeset 58337 270abce77942
parent 58242 94bb65cb37d3
child 58679 9c3209ff7550
equal deleted inserted replaced
58336:8573d94a3a00 58337:270abce77942
  1253                 return s;
  1253                 return s;
  1254             }
  1254             }
  1255         }
  1255         }
  1256         synchronized (this) {
  1256         synchronized (this) {
  1257             ensureLegacyParsed();
  1257             ensureLegacyParsed();
  1258         }
  1258             if (legacyMap != null && !legacyMap.isEmpty()) {
  1259         if (legacyMap != null && !legacyMap.isEmpty()) {
  1259                 return legacyMap.get(key);
  1260             return legacyMap.get(key);
  1260             }
  1261         }
  1261         }
  1262         return null;
  1262         return null;
  1263     }
  1263     }
  1264 
  1264 
  1265     // ServiceKey from previous getService() call
  1265     // ServiceKey from previous getService() call