Ok, I saw that I could simply include the servlet-api.jar and have the javax.servlet.* package available. However, when I do this and compile my project, I get this error:
java.lang.LinkageError: loader constraint violation: loader (instance of org/apache/jasper/servlet/JasperLoader) previously initiated loading for a different type with name "javax/servlet/http/HttpServletRequest"
So it appears there is some conflict with using this package on JBoss, for some reason. All of the tutorials that use this package seem to assume you are going to use Tomcat, but I need to use JBoss (as that is what my client is using). How can I get Servlets working under JBoss?