}
}
}
private void rightClickedOnSearchPath(MouseEvent e, DefaultMutableTreeNode node, JPopupMenu menu) {
final SearchPath searchPath = (SearchPath) node.getUserObject();
JMenuItem menuItem = new JMenuItem("Re-Search");
menuItem.addActionListener(new ReSearchAction(searchPath.name, God.specialsTree));
menu.add(menuItem);
menu.show((JComponent) e.getSource(), e.getX(), e.getY());
}