A Java library for returning a Maps from Servlet API objects