public static Skin loadThemePackDefinition(java.net.URL url)
throws Exception {
Skin skin = null;
XMLElement element = new XMLElement();
element.parseFromReader(new java.io.InputStreamReader(getInputStream(url)));
checkRequiredVersion(element.getProperty("REQUIRE"));
// reset any custom properties that may be set in the skin
UIManager.put("JDesktopPane.backgroundEnabled", Boolean.FALSE);