GitHub repository: sangjiexun/tomcat-cluster-redis-session-manager
Description: Tomcat clustering redis session manager java client.