tomcat-redis-session-manager-1.2-tomcat-7.jar 在利用redis做tomcat的session共享时是要使用。