/** Add a catalog menu to the catalog navigator frame */
protected JMenu createCatalogMenu() {
Navigator navigator = (Navigator) getNavigator();
JMenu menu = new NavigatorCatalogMenu(navigator, false);
CatalogTree catalogTree = navigator.getCatalogTree();
menu.addSeparator();
menu.add(catalogTree.makeReloadMenuItem());
// Unfortunately, this doesn't seem to work yet (SOAP errors)
// menu.add(catalogTree.getConfigureCatalogDirectoriesAction());
menu.addSeparator();
menu.add(catalogTree.getCutAction());
menu.add(catalogTree.getCopyAction());
menu.add(catalogTree.getPasteAction());
menu.addSeparator();
menu.add(catalogTree.getToTopAction());
menu.add(catalogTree.getMoveUpAction());
menu.add(catalogTree.getMoveDownAction());
menu.add(catalogTree.getToBottomAction());
return menu;
}