setAttributeByTagName(new String[] {"options", "defaulttheme"} , themeShortName); }
propertyHandler.put("options_defaulttheme", themeShortName); }
    public void setDefaultTheme(String themeShortName) {        setAttributeByTagName(new String[] {"options", "defaulttheme"}                              , themeShortName);    }