added servlet API 2.5 bundle