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

Jean-Noel Rouvignac
09.40.2015 edc595e56216e680d268376e85c7625f2f052b6a
opendj-server-legacy/src/main/java/org/opends/server/tools/status/StatusCli.java
@@ -573,7 +573,7 @@
  private void writeAdministrativeUserContents(ServerDescriptor desc, int maxLabelWidth)
  {
    Set<DN> administrators = desc.getAdministrativeUsers();
    if (administrators.size() > 0)
    if (!administrators.isEmpty())
    {
      TreeSet<DN> ordered = new TreeSet<>(administrators);
      for (DN dn : ordered)
@@ -701,7 +701,7 @@
    }
    Set<ConnectionHandlerDescriptor> allHandlers = desc.getConnectionHandlers();
    if (allHandlers.size() == 0)
    if (allHandlers.isEmpty())
    {
      if (desc.getStatus() == ServerDescriptor.ServerStatus.STARTED)
      {
@@ -752,7 +752,7 @@
        replicas.addAll(backend.getBaseDns());
      }
    }
    if (replicas.size() == 0)
    if (replicas.isEmpty())
    {
      if (desc.getStatus() == ServerDescriptor.ServerStatus.STARTED)
      {