diff --git a/java/java-psi-api/src/com/intellij/lang/jvm/JvmAnnotation.java b/java/java-psi-api/src/com/intellij/lang/jvm/JvmAnnotation.java
index fce26405c45c..59875148c0bb 100644
--- a/java/java-psi-api/src/com/intellij/lang/jvm/JvmAnnotation.java
+++ b/java/java-psi-api/src/com/intellij/lang/jvm/JvmAnnotation.java
@@ -1,4 +1,4 @@
-// Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
 package com.intellij.lang.jvm;
 
 import com.intellij.lang.jvm.annotation.JvmAnnotationAttribute;
@@ -10,7 +10,7 @@ import java.util.List;
 
 import static com.intellij.util.containers.ContainerUtil.find;
 
-public interface JvmAnnotation extends JvmElement {
+public interface JvmAnnotation {
 
   /**
    * Returns the fully qualified name of the annotation class.
diff --git a/java/java-psi-api/src/com/intellij/psi/PsiAnnotation.java b/java/java-psi-api/src/com/intellij/psi/PsiAnnotation.java
index 34825010cea7..3376fe91960e 100644
--- a/java/java-psi-api/src/com/intellij/psi/PsiAnnotation.java
+++ b/java/java-psi-api/src/com/intellij/psi/PsiAnnotation.java
@@ -1,4 +1,4 @@
-// Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
 package com.intellij.psi;
 
 import com.intellij.lang.jvm.JvmAnnotation;
@@ -103,25 +103,6 @@ public interface PsiAnnotation extends PsiAnnotationMemberValue, JvmAnnotation {
   @Nullable
   PsiAnnotationOwner getOwner();
 
-  @Nullable
-  @Override
-  default PsiElement getSourceElement() {
-    return this;
-  }
-
-  @Override
-  default void navigate(boolean requestFocus) {}
-
-  @Override
-  default boolean canNavigate() {
-    return false;
-  }
-
-  @Override
-  default boolean canNavigateToSource() {
-    return false;
-  }
-
   @NotNull
   @Override
   default List<JvmAnnotationAttribute> getAttributes() {