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

Jean-Noel Rouvignac
19.47.2015 2dc073d0f37048372498e13ffe84455896bac945
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/StatusPanel.java
@@ -274,7 +274,7 @@
    }
    else
    {
      ArrayList<LocalizableMessage> msgs = new ArrayList<LocalizableMessage>();
      ArrayList<LocalizableMessage> msgs = new ArrayList<>();
      for (OpenDsException oe : exceptions)
      {
        msgs.add(oe.getMessageObject());
@@ -361,7 +361,7 @@
    Set<DN> rootUsers = desc.getAdministrativeUsers();
    SortedSet<String> sortedRootUsers = new TreeSet<String>();
    SortedSet<String> sortedRootUsers = new TreeSet<>();
    for (DN dn : rootUsers)
    {
      try
@@ -429,7 +429,7 @@
    setText(adminConnector,
        getAdminConnectorStringValue(desc.getAdminConnector()));
    Set<BaseDNDescriptor> baseDNs = new HashSet<BaseDNDescriptor>();
    Set<BaseDNDescriptor> baseDNs = new HashSet<>();
    for (BackendDescriptor backend : desc.getBackends())
    {