allow JSP file servlets to map directly to precompiled JSPs