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

Nicolas Capponi
29.24.2014 dd8c19ab2e4fc3347c7cf74b4351a48e3774166a
opendj3-server-dev/src/guitools/org/opends/guitools/controlpanel/ui/NewAttributePanel.java
@@ -801,7 +801,7 @@
    }
  }
  private SubstringMatchingRule getSubstringMatchingRule()
  private MatchingRule getSubstringMatchingRule()
  {
    if (substring.getSelectedIndex() == 0)
    {
@@ -809,7 +809,7 @@
    }
    else
    {
      return (SubstringMatchingRule)substring.getSelectedItem();
      return (MatchingRule)substring.getSelectedItem();
    }
  }