A simple servlet filter for implementing custom session management