From e54029e646e018574d38f36ea6a7ef839bf34936 Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Sun, 19 Jun 2016 01:43:59 +0200
Subject: [PATCH] fix wrong annotation

---
 .../src/com/intellij/openapi/editor/GutterMarkPreprocessor.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/editor-ui-api/src/com/intellij/openapi/editor/GutterMarkPreprocessor.java b/platform/editor-ui-api/src/com/intellij/openapi/editor/GutterMarkPreprocessor.java
index 9912400f5dd6..8a93eceed3f5 100644
--- a/platform/editor-ui-api/src/com/intellij/openapi/editor/GutterMarkPreprocessor.java
+++ b/platform/editor-ui-api/src/com/intellij/openapi/editor/GutterMarkPreprocessor.java
@@ -17,7 +17,7 @@ package com.intellij.openapi.editor;
 
 import com.intellij.codeInsight.daemon.GutterMark;
 import com.intellij.openapi.extensions.ExtensionPointName;
-import com.sun.istack.internal.NotNull;
+import org.jetbrains.annotations.NotNull;
 
 import java.util.List;