First go at a Java servlet