preferencesPage.setName("page.preferences");
preferencesPage.setTempDirectory(configuration.getTempDirectory());
pages.put(PageType.PAGE_PREFERENCES, preferencesPage);
preferencesPage.setName("page.preferences");
preferencesPage.setTempDirectory(configuration.getTempDirectory());
pages.put(PageType.PAGE_PREFERENCES, preferencesPage);