mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/DeleteBackendPanel.java @@ -148,7 +148,7 @@ Utilities.getParentDialog(this).setVisible(false); } } if (errors.size() > 0) if (!errors.isEmpty()) { displayErrorDialog(errors); }