[437351] [hotbug] [Critical] getServerNotificationManager should be
synchronized

plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java

diff --git a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java
index 2f87a71..1a6673b 100644
--- a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java
+++ b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java
@@ -1027,7 +1027,7 @@
 	 * 
 	 * @return the notification manager
 	 */
-	private ServerNotificationManager getServerNotificationManager() {
+	private synchronized ServerNotificationManager getServerNotificationManager() {
 		if (notificationManager == null)
 			notificationManager = new ServerNotificationManager();