} else if ("page.preferences".equals(pageName)) {
showPage(PageType.PAGE_PROJECTS);
optionsPreferencesAction.setEnabled(true);
} else if ("page.preferences".equals(pageName)) {
showPage(PageType.PAGE_PROJECTS);
optionsPreferencesAction.setEnabled(true);