replaced javax.servlet by org.jboss.spec.javax.servlet