mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/BrowseSchemaPanel.java @@ -1554,7 +1554,7 @@ : value.toLowerCase().contains(filter.toLowerCase()); if (matchFilter) { break; return true; } } return false;