From b84c1a2113ecfa87e3856e8b002737e00e332cc0 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <Nikolay.Krasko@jetbrains.com>
Date: Thu, 9 Jan 2014 19:40:22 +0400
Subject: [PATCH] Refactoring: remove warning

---
 .../src/org/jetbrains/jet/asJava/JetLightPackage.java         | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/jet.as.java.psi/src/org/jetbrains/jet/asJava/JetLightPackage.java b/compiler/jet.as.java.psi/src/org/jetbrains/jet/asJava/JetLightPackage.java
index be6cedac94e..a27ce31a835 100644
--- a/compiler/jet.as.java.psi/src/org/jetbrains/jet/asJava/JetLightPackage.java
+++ b/compiler/jet.as.java.psi/src/org/jetbrains/jet/asJava/JetLightPackage.java
@@ -1,5 +1,5 @@
 /*
- * Copyright 2010-2013 JetBrains s.r.o.
+ * Copyright 2010-2014 JetBrains s.r.o.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -20,6 +20,7 @@ import com.intellij.psi.PsiElement;
 import com.intellij.psi.PsiManager;
 import com.intellij.psi.impl.file.PsiPackageImpl;
 import com.intellij.psi.search.GlobalSearchScope;
+import org.jetbrains.annotations.NotNull;
 import org.jetbrains.jet.lang.resolve.name.FqName;
 
 public class JetLightPackage extends PsiPackageImpl {
@@ -33,6 +34,7 @@ public class JetLightPackage extends PsiPackageImpl {
         this.scope = scope;
     }
 
+    @NotNull
     @Override
     public PsiElement copy() {
         return new JetLightPackage(getManager(), fqName, scope);