UIManager.put("JDesktopPane.backgroundEnabled", Boolean.FALSE);
UIManager.put("PopupMenu.animation", Boolean.FALSE);
UIManager.put("ScrollBar.alternateLayout", Boolean.FALSE);
UIManager.put("JSplitPane.alternateUI", Boolean.FALSE);
Enumeration enumeration = element.enumerateChildren();
while (enumeration.hasMoreElements()) {
element = (XMLElement)enumeration.nextElement();
String tagName = element.getTagName().toLowerCase();
if ("skin".equals(tagName)) {
skin = buildSkin(url, element);