A Hello World Java servlet using Google App Engine SDK