From f40c1029f03e0cf94e7741077ce162be18ba5ab0 Mon Sep 17 00:00:00 2001
From: Michael Uhl <michael.b.uhl@gmail.com>
Date: Tue, 17 Sep 2019 10:45:12 +0200
Subject: [PATCH] Cancel besser abgefangen.

---
 .../src/typinferenzplugin/Typinferenz.java                  | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/Typinferenz.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/Typinferenz.java
index d6b5025..217e6ee 100644
--- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/Typinferenz.java
+++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/Typinferenz.java
@@ -186,6 +186,10 @@ public class Typinferenz {
 	}
 
 	public void cancel() {
-		compiler.usedTasks.cancel();
+		try {
+			compiler.usedTasks.cancel();
+		} catch (Exception e) {
+			e.printStackTrace();
+		}
 	}
 }