mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/api/Backend.java @@ -1056,11 +1056,9 @@ return false; } } return true; } } return false; }