[437351] [hotbug] [Critical] getServerNotificationManager should be
synchronized
1 file changed