Sessions across servers enabled by just applying a ServletFilter