JBoss Servlet API Spec