From 20fbbfaaf7469161251785295e70fde0ed38f7ea Mon Sep 17 00:00:00 2001
From: Sebastian Zarnekow <Sebastian.Zarnekow@itemis.de>
Date: Mon, 27 Apr 2015 18:11:29 +0200
Subject: [PATCH] =?UTF-8?q?[idea]=20Minor:=20don=E2=80=99t=20throw=20from?=
 =?UTF-8?q?=20LightAnnotation?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../org/eclipse/xtext/service/OperationCanceledManager.xtend    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/service/OperationCanceledManager.xtend b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/service/OperationCanceledManager.xtend
index 54321711f..7cd8a64da 100644
--- a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/service/OperationCanceledManager.xtend
+++ b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/service/OperationCanceledManager.xtend
@@ -41,7 +41,7 @@ class OperationCanceledManager {
 			throw t;
 		}
 		val opCanceledException = getPlatformOperationCanceledException(t);
-		if (opCanceledException != null)
+		if (opCanceledException !== null)
 			throw new OperationCanceledError(opCanceledException);
 	}