The right servlet code