Change the way servlet session persistence is implemented