Java servlet with source