gnu: java: Use java-javaee-servletapi instead of java-tomcat.