public String getCurrentStyle() {
return (String)
userSettingService.getUserSetting(SETTING_NAME_STYLE, styles.values().iterator().next());
}
public void setCurrentStyle(String file) {
try {
userSettingService.saveUserSetting(SETTING_NAME_STYLE, file);
} catch (NoCurrentUserException ex) {
}
}