use newer servlet class