From 0b300bd7fbf8ce1d021cbe98147fb237e7e5b885 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <Nikolay.Krasko@jetbrains.com>
Date: Mon, 22 Dec 2014 22:49:56 +0300
Subject: [PATCH] Minor: Fix warnings

---
 .../UnsupportedAbiVersionNotificationPanelProvider.java        | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/versions/UnsupportedAbiVersionNotificationPanelProvider.java b/idea/src/org/jetbrains/jet/plugin/versions/UnsupportedAbiVersionNotificationPanelProvider.java
index d026d2be2d6..767de2cfe0c 100644
--- a/idea/src/org/jetbrains/jet/plugin/versions/UnsupportedAbiVersionNotificationPanelProvider.java
+++ b/idea/src/org/jetbrains/jet/plugin/versions/UnsupportedAbiVersionNotificationPanelProvider.java
@@ -169,6 +169,7 @@ public class UnsupportedAbiVersionNotificationPanelProvider extends EditorNotifi
         label.set(answer.createActionLabel(labelText, action));
     }
 
+    @NotNull
     @Override
     public Key<EditorNotificationPanel> getKey() {
         return KEY;
@@ -176,7 +177,7 @@ public class UnsupportedAbiVersionNotificationPanelProvider extends EditorNotifi
 
     @Nullable
     @Override
-    public EditorNotificationPanel createNotificationPanel(VirtualFile file, FileEditor fileEditor) {
+    public EditorNotificationPanel createNotificationPanel(@NotNull VirtualFile file, @NotNull FileEditor fileEditor) {
         try {
             if (file.getFileType() != JetFileType.INSTANCE) return null;