export const HttpServletRequest = $.type("javax.servlet.http.HttpServletRequest");
export const HttpServletResponse = $.type("javax.servlet.http.HttpServletResponse");
export const HttpSession = $.type("javax.servlet.http.HttpSession");
