Tweaks for @deprecated and @override presentation

compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java

Index: compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
diff --git a/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java b/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
index 8ad84c31ca1071398a0d0edcc37067c86fcdd88f..db347e2424af0b08c8dafb8e28ee6b2b54c545bf 100644
--- a/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
+++ b/compiler/java/com/google/dart/compiler/type/TypeAnalyzer.java
@@ -2291,7 +2291,8 @@ public class TypeAnalyzer implements DartCompilationPhase {
       }
       // @deprecated
       if (element != null && element.getMetadata().isDeprecated()) {
-        onError(node.getName(), TypeErrorCode.DEPRECATED_ELEMENT, name);
+        onError(node.getName(), TypeErrorCode.DEPRECATED_ELEMENT,
+            Elements.getDeprecatedElementTitle(element));
       }
       // analyze Element
       switch (element.getKind()) {
@@ -2650,7 +2651,8 @@ public class TypeAnalyzer implements DartCompilationPhase {
      */
     private void checkDeprecated(HasSourceInfo nameNode, Element element) {
       if (element != null && element.getMetadata().isDeprecated()) {
-        onError(nameNode, TypeErrorCode.DEPRECATED_ELEMENT, element);
+        onError(nameNode, TypeErrorCode.DEPRECATED_ELEMENT,
+            Elements.getDeprecatedElementTitle(element));
       }
     }