Make skinny-session Servlet 3.1 compatible