Hello, world!

The source of this servlet is in:

/usr/TL311/web80/doc/examples/basic/WEB-INF/classes/HelloServlet.java

and the compiled class is in:
/usr/TL311/web80/doc/examples/basic/WEB-INF/classes/HelloServlet.class