feature #4115 :  Depends on the Servlet API 3