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

Jean-Noel Rouvignac
17.26.2015 88f16d892d54fd8c3e190cc1f6363638b11ae1a3
opendj-server-legacy/src/main/java/org/opends/admin/ads/ADSContext.java
@@ -232,7 +232,7 @@
  /** Default global admin UID. */
  public static final String GLOBAL_ADMIN_UID = "admin";
  private static HashMap<String, ServerProperty> nameToServerProperty = null;
  private static HashMap<String, ServerProperty> nameToServerProperty;
  /**
   * Get a ServerProperty associated to a name.
@@ -379,8 +379,7 @@
    }
  }
  private static HashMap<String, AdministratorProperty>
  nameToAdminUserProperty = null;
  private static HashMap<String, AdministratorProperty> nameToAdminUserProperty;
  /**
   * Get a AdministratorProperty associated to a name.