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

Nicolas Capponi
14.06.2014 2dece15900c587dcc5fcfaf35c2acdbfb026de1f
opendj3-server-dev/src/guitools/org/opends/guitools/controlpanel/ui/NewAttributePanel.java
@@ -261,7 +261,7 @@
        {
          approximateElements.add(matchingRule);
        }
        else if (matchingRule instanceof EqualityMatchingRule)
        else if (matchingRule instanceof MatchingRule)
        {
          equalityElements.add(matchingRule);
        }
@@ -789,7 +789,7 @@
    }
  }
  private EqualityMatchingRule getEqualityMatchingRule()
  private MatchingRule getEqualityMatchingRule()
  {
    if (equality.getSelectedIndex() == 0)
    {
@@ -797,7 +797,7 @@
    }
    else
    {
      return (EqualityMatchingRule)equality.getSelectedItem();
      return (MatchingRule)equality.getSelectedItem();
    }
  }