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

Jean-Noel Rouvignac
24.41.2015 e7cac727a9231ff3602e61a4ea678e0463eb0e39
opendj-server-legacy/src/main/java/org/opends/server/admin/ManagedObjectDefinitionResource.java
@@ -22,6 +22,7 @@
 *
 *
 *      Copyright 2008 Sun Microsystems, Inc.
 *      Portions Copyright 2015 ForgeRock AS.
 */
package org.opends.server.admin;
@@ -46,11 +47,11 @@
 */
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;
@@ -70,7 +71,7 @@
  // Private constructor.
  /** Private constructor. */
  private ManagedObjectDefinitionResource(String prefix) {
    this.properties =
      new HashMap<AbstractManagedObjectDefinition<?, ?>, Properties>();
@@ -118,8 +119,10 @@
  // 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)
      throws MissingResourceException {