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