boolean (final Element element) { element.setAttribute("type", myType); element.setAttribute("minimized", Boolean.valueOf(myMinimized).toString()); element.setAttribute("maximized", Boolean.valueOf(myMaximized).toString()); if (mySelectedTab != null) { element.setAttribute("selected", mySelectedTab); } element.setAttribute("split", Double.toString(mySplitProportion)); element.setAttribute("detached", Boolean.valueOf(myDetached).toString()); element.setAttribute("horizontal", Boolean.valueOf(myHorizontalToolbar).toString()); return true; }