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

Ludovic Poitou
22.21.2011 067a18af59a0f0148d88e7cc1a567c88df3c3a4e
Fix minor issue detected by FindBugs.
1 files modified
5 ■■■■■ changed files
opends/src/server/org/opends/server/types/Schema.java 5 ●●●●● patch | view | raw | blame | history
opends/src/server/org/opends/server/types/Schema.java
@@ -23,6 +23,7 @@
 *
 *
 *      Copyright 2006-2010 Sun Microsystems, Inc.
 *      Portions Copyright 2011 ForgeRock AS
 */
package org.opends.server.types;
@@ -2948,12 +2949,12 @@
      if(mappedForms != null)
      {
        mappedForms.remove(nameForm);
        if(mappedForms.size() == 0)
        if(mappedForms.isEmpty())
        {
          nameFormsByOC.remove(nameForm.getStructuralClass());
        }
      }
      nameFormsByOC.remove(nameForm.getStructuralClass(), nameForm);
      nameFormsByOC.remove(nameForm.getStructuralClass());
      nameFormsByName.remove(toLowerCase(nameForm.getOID()),
                             nameForm);