407976 JDBCSessionIdManager potentially leaves server in bad state after startup