A quick hello-world servlet to test Java application servers