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

Nicolas Capponi
20.06.2014 5203374a1e5dc294088749071cf5350d2f82787d
opendj3-server-dev/src/guitools/org/opends/guitools/controlpanel/ui/NewAttributePanel.java
@@ -813,7 +813,7 @@
    }
  }
  private OrderingMatchingRule getOrderingMatchingRule()
  private MatchingRule getOrderingMatchingRule()
  {
    if (ordering.getSelectedIndex() == 0)
    {
@@ -821,7 +821,7 @@
    }
    else
    {
      return (OrderingMatchingRule)ordering.getSelectedItem();
      return (MatchingRule)ordering.getSelectedItem();
    }
  }