} else if (action.equalsIgnoreCase ("Open Recent")) {
projectmanager.saveProject();
String filename = ((JMenuItem)ae.getSource()).getToolTipText();
openSelectedFile (filename);
} else if (action.equalsIgnoreCase("About")) {
UriViewer viewer = new UriViewer ("About", true);
viewer.setFile(docs_dir + "about.html");
} else if (action.equalsIgnoreCase("tool help")) {
UriViewer viewer = new UriViewer ("Tool help", true);
viewer.setFile(docs_dir + "index.html");
} else if (action.equalsIgnoreCase("developers guide")) {
UriViewer viewer = new UriViewer ("Developers Guide", true);
viewer.setFile(docs_dir + "developers_guide.html");
} else if (action.equalsIgnoreCase("Transformations")) {
/* Launch transformation editor */
launchEditor (transformationeditor, "Editor Transformations");
} else if (action.equalsIgnoreCase("Profiles")) {
/* Launch profiles editor */