updated servlet example