diff --git a/platform/util/src/com/intellij/util/keyFMap/KeyFMapRenderer.java b/platform/util/src/com/intellij/util/keyFMap/KeyFMapRenderer.java
index 5b7151a93d84..b5fdc3e4afb7 100644
--- a/platform/util/src/com/intellij/util/keyFMap/KeyFMapRenderer.java
+++ b/platform/util/src/com/intellij/util/keyFMap/KeyFMapRenderer.java
@@ -7,7 +7,6 @@ import java.util.AbstractMap;
 import java.util.Map;
 
 // Used in KeyFMap debugger renderer
-@SuppressWarnings("unused")
 class KeyFMapRenderer {
   static Map.Entry[] childrenArray(KeyFMap map) {
     Key[] keys = map.getKeys();
@@ -15,7 +14,7 @@ class KeyFMapRenderer {
     Map.Entry[] res = new Map.Entry[length];
     for (int i = 0; i < length; i++) {
       Key key = keys[i];
-      res[i] = new AbstractMap.SimpleImmutableEntry(key, map.get(key));
+      res[i] = new AbstractMap.SimpleImmutableEntry<Key, Object>(key, map.get(key));
     }
     return res;
   }
diff --git a/platform/util/src/org/jetbrains/annotations/Debugger.java b/platform/util/src/org/jetbrains/annotations/Debugger.java
index f4418ea1c894..63758ed1d870 100644
--- a/platform/util/src/org/jetbrains/annotations/Debugger.java
+++ b/platform/util/src/org/jetbrains/annotations/Debugger.java
@@ -1,6 +1,8 @@
 // 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 org.jetbrains.annotations;
 
+import org.intellij.lang.annotations.Language;
+
 import java.lang.annotation.ElementType;
 import java.lang.annotation.Target;
 
@@ -15,8 +17,13 @@ public class Debugger {
    */
   @Target(ElementType.TYPE)
   public @interface Renderer {
+    @Language(value = "JAVA", prefix = "class Renderer{String text(){return ", suffix = ";}}")
     String text() default "";
+
+    @Language(value = "JAVA", prefix = "class Renderer{String[] childrenArray(){return ", suffix = ";}}")
     String childrenArray() default "";
+
+    @Language(value = "JAVA", prefix = "class Renderer{boolean hasChildren(){return ", suffix = ";}}")
     String hasChildren() default "";
   }
 }