[Bug 404010] fix cast exception in mongodb session manager
Merge branch 'jetty-7' into jetty-8
Merge branch 'jetty-8'