Finally, everything is packaged together into a WAR:
/WEB-INF/web.xml /WEB-INF/classes/HelloWorld.class
Note that if the servlet class generated for the JSP page had depended on some support classes, they would have to be included in the WAR.