A set of simple reusable Java utility Servlets for manipulating things like roles and sessions, performing redirects, etc.