From 2a2277567387586687871802f8d3d327a2536711 Mon Sep 17 00:00:00 2001
From: Kris De Volder <kdevolder@pivotal.io>
Date: Mon, 23 Oct 2017 10:19:17 -0700
Subject: [PATCH] Add some synchronized sections to live hover watchdog

---
 .../vscode/boot/java/utils/SpringLiveHoverWatchdog.java   | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/headless-services/boot-java-language-server/src/main/java/org/springframework/ide/vscode/boot/java/utils/SpringLiveHoverWatchdog.java b/headless-services/boot-java-language-server/src/main/java/org/springframework/ide/vscode/boot/java/utils/SpringLiveHoverWatchdog.java
index daa0d2eab..a60f0111c 100644
--- a/headless-services/boot-java-language-server/src/main/java/org/springframework/ide/vscode/boot/java/utils/SpringLiveHoverWatchdog.java
+++ b/headless-services/boot-java-language-server/src/main/java/org/springframework/ide/vscode/boot/java/utils/SpringLiveHoverWatchdog.java
@@ -50,7 +50,7 @@ public class SpringLiveHoverWatchdog {
 		this.watchedDocs = new ConcurrentSkipListSet<>();
 	}
 
-	public void start() {
+	public synchronized void start() {
 		if (highlightsEnabled && timer == null) {
 			this.timer = new Timer();
 
@@ -65,7 +65,7 @@ public class SpringLiveHoverWatchdog {
 		}
 	}
 
-	public void shutdown() {
+	public synchronized void shutdown() {
 		if (timer != null) {
 			timer.cancel();
 			timer = null;
@@ -124,14 +124,14 @@ public class SpringLiveHoverWatchdog {
 		// TODO: close and cleanup open JMX connections and cached data
 	}
 
-	public void enableHighlights() {
+	public synchronized void enableHighlights() {
 		if (!highlightsEnabled) {
 			highlightsEnabled = true;
 			start();
 		}
 	}
 
-	public void disableHighlights() {
+	public synchronized void disableHighlights() {
 		if (highlightsEnabled) {
 			highlightsEnabled = false;
 			shutdown();