public JspConfigDescriptor getJspConfigDescriptor() { return servletContext.getJspConfigDescriptor(); }