437524 JDBCSessionManager setIdManager gone in 9.2.1, yet documentation still references it