public static void writeJavaScript(PrintWriter out, RequestProperties reqState)
throws IOException {
HttpServletRequest request = reqState.getHttpServletRequest();
JavaScriptTools.writeJSInclude(out, JavaScriptTools.qualifyJSFileRef("ExpandMenu.js"), request);
}
