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

Jean-Noel Rouvignac
21.10.2015 b8f523c95f4fd5fc705f2c6c2a2d98217b9da450
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/DeleteBaseDNPanel.java
@@ -187,19 +187,24 @@
            }
            i ++;
          }
          if (selected.size() > 0)
          if (!selected.isEmpty())
          {
            int[] indArray = new int[indices.size()];
            i = 0;
            for (Integer index : indices)
            {
              indArray[i] = index;
              i++;
            }
            list.setSelectedIndices(indArray);
            list.setSelectedIndices(toIntArray(indices));
          }
          checkVisibility();
        }
        private int[] toIntArray(Set<Integer> indices)
        {
          int[] result = new int[indices.size()];
          int i = 0;
          for (Integer index : indices)
          {
            result[i] = index;
            i++;
          }
          return result;
        }
      });
    }
  }
@@ -407,7 +412,7 @@
        Utilities.getParentDialog(this).setVisible(false);
      }
    }
    if (errors.size() > 0)
    if (!errors.isEmpty())
    {
      displayErrorDialog(errors);
    }
@@ -445,7 +450,7 @@
    {
      mb.append("<br> - ").append(baseDN.getDn());
    }
    if (indirectBackendsToDelete.size() > 0)
    if (!indirectBackendsToDelete.isEmpty())
    {
      mb.append("<br><br>");
      mb.append(