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;