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

Jean-Noel Rouvignac
13.40.2015 98e8aab354a385055392de7154758c1890a3265a
opendj-server-legacy/src/main/java/org/opends/admin/ads/ServerDescriptor.java
@@ -133,9 +133,7 @@
   */
  public Set<ReplicaDescriptor> getReplicas()
  {
    Set<ReplicaDescriptor> copy = new HashSet<ReplicaDescriptor>();
    copy.addAll(replicas);
    return copy;
    return new HashSet<ReplicaDescriptor>(replicas);
  }
  /**