allow java config of servlet