if (tool.defaultPath != null) {
JMenuItem setPathItem = new JMenuItem(String.format("Set path to %s...", toolName));
setPathItem.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
(new SetPluginPathDialog(IGV.getMainFrame(), pluginSpecReader, tool)).setVisible(true);
refreshToolsMenu();
}
});
toolMenu.add(setPathItem);
}