// restore theme
String defaultThemeName = ResourceUtils.getString(RESOURCE_DEFAULT_THEME_NAME);
String themeName = preferences.get(RenderingSettingsNames.THEME, defaultThemeName);
ITheme restoredTheme = ThemeSupport.getThemeByName(themeName);
if (LOG.isLoggable(Level.FINE))
{
LOG.fine("Default theme name : " + defaultThemeName);
LOG.fine("Stored theme name : " + themeName);
LOG.fine("Loaded theme name : " + restoredTheme.getName());
}
if (restoredTheme == null) restoredTheme = ThemeSupport.getThemeByName(defaultThemeName);
setTheme(restoredTheme);