diff --git a/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/DiagnosticFactoryWithPsiElement.java b/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/DiagnosticFactoryWithPsiElement.java
index 62f2a6ba77d..74d734b6cd8 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/DiagnosticFactoryWithPsiElement.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/DiagnosticFactoryWithPsiElement.java
@@ -40,4 +40,11 @@ public abstract class DiagnosticFactoryWithPsiElement<E extends PsiElement, D ex
     public PositioningStrategy<? super E> getPositioningStrategy() {
         return positioningStrategy;
     }
+
+    @SuppressWarnings("MethodOverloadsMethodOfSuperclass")
+    @Deprecated
+    // ABI-compatibility only (used in Android plugin)
+    public D cast(Diagnostic d) {
+        return super.cast(d);
+    }
 }