device.print("><ul class=\"STree\">\n");
device.print("><ul class=\"STree\""); device.print(" style=\"margin-left:"); device.print(component.getNodeIndentDepth()); device.print("px;\">\n");
    private void indentOnce(Device device, STree component, TreePath path) throws IOException {        device.print("<div");        if (!isLastChild(component.getModel(), path, path.getPathCount()-1)) {            device.print(" class=\"SSubTree\"");        }        device.print("><ul class=\"STree\">\n");    }