Reference to servlet API to avoid warning

Change-Id: Ibe29069cf41206361d31d12705f899a581ec2357