<%@ page import=" org.opencms.workplace.*, org.opencms.workplace.administration.*, org.opencms.workplace.tools.*, org.opencms.jsp.*" %> <% CmsJspActionElement jsp = new CmsJspActionElement(pageContext, request, response); CmsAdminFrameset wp = new CmsAdminFrameset(jsp); // reset root wp.getToolManager().initParams(wp, null, "/"); // rewrite params String params = wp.allParamsAsRequest(); if (params==null) { params = ""; } if (params.length()>0) { params = "?" + params; } %> <%= wp.key("label.wptitle") %> <%= wp.getSettings().getUser().getName() %>@<%= request.getServerName() %> *" border="0" frameborder="0" framespacing="0"> <% if (wp.withMenu()) { %> frameborder="0" border="0" noresize scrolling="auto"> <% } %> frameborder="0" border="0" framespacing="0" marginheight="7" marginwidth="7" noresize scrolling="auto">