public void mouseClicked(MouseEvent me) { if (me.getClickCount()==2) navigateNamespace(); }
public void mouseClicked(MouseEvent me) {navigateNamespace();}
      public void mouseClicked(MouseEvent me) {        if (me.getClickCount()==2) navigateNamespace();      }