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

Jean-Noel Rouvignac
08.48.2015 a89f7014aeb71dba5c94404dfea7eb89e7eeee74
opendj-server-legacy/src/main/java/org/opends/server/tools/status/StatusCli.java
@@ -575,7 +575,7 @@
    Set<DN> administrators = desc.getAdministrativeUsers();
    if (administrators.size() > 0)
    {
      TreeSet<DN> ordered = new TreeSet<DN>(administrators);
      TreeSet<DN> ordered = new TreeSet<>(administrators);
      for (DN dn : ordered)
      {
        writeLabelValue(INFO_ADMINISTRATIVE_USERS_LABEL.get(), dn.toString(), maxLabelWidth);
@@ -743,7 +743,7 @@
      println(centerTitle(title));
    }
    Set<BaseDNDescriptor> replicas = new HashSet<BaseDNDescriptor>();
    Set<BaseDNDescriptor> replicas = new HashSet<>();
    Set<BackendDescriptor> bs = desc.getBackends();
    for (BackendDescriptor backend: bs)
    {