mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Jean-Noel Rouvignac
15.17.2014 6870993d12bf8a2b9d5cd103dc5ccabc42f9bf5d
opendj-config/src/main/java/org/forgerock/opendj/config/ManagedObjectDefinitionResource.java
@@ -45,10 +45,10 @@
 */
public final class ManagedObjectDefinitionResource {
    // Mapping from definition to property tables.
    /** Mapping from definition to property tables. */
    private final Map<AbstractManagedObjectDefinition<?, ?>, Properties> properties;
    // The resource name prefix.
    /** The resource name prefix. */
    private final String prefix;
    /**
@@ -62,7 +62,7 @@
        return new ManagedObjectDefinitionResource("config.profiles." + profile);
    }
    // Private constructor.
    /** Private constructor. */
    private ManagedObjectDefinitionResource(String prefix) {
        this.properties = new HashMap<AbstractManagedObjectDefinition<?, ?>, Properties>();
        this.prefix = prefix;
@@ -101,8 +101,10 @@
        return result;
    }
    // Retrieve the properties table associated with a managed object,
    // lazily loading it if necessary.
    /**
     * Retrieve the properties table associated with a managed object,
     * lazily loading it if necessary.
     */
    private synchronized Properties getProperties(AbstractManagedObjectDefinition<?, ?> d) {
        Properties p = properties.get(d);