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

Jean-Noel Rouvignac
19.47.2015 2dc073d0f37048372498e13ffe84455896bac945
opendj-server-legacy/src/main/java/org/opends/admin/ads/ReplicaDescriptor.java
@@ -40,7 +40,7 @@
  private SuffixDescriptor suffix;
  private int entries = -1;
  private ServerDescriptor server;
  private Set<String> replicationServers = new HashSet<String>();
  private Set<String> replicationServers = new HashSet<>();
  private int replicationId = -1;
  private int missingChanges = -1;
  private long ageOfOldestMissingChange = -1;
@@ -135,7 +135,7 @@
   */
  public Set<String> getReplicationServers()
  {
    return new HashSet<String>(replicationServers);
    return new HashSet<>(replicationServers);
  }
  /**