selection.clear ();
fireStateChanged();   selectedPath.clear();
  public void clearSelectedPath ()  {    for (int i = 0; i < selection.size (); i++)      ((MenuElement) selection.get (i)).menuSelectionChanged (false);    selection.clear ();  }