Add servlet 3.1 API