Tweaks for @deprecated and @override presentation

compiler/java/com/google/dart/compiler/resolver/ResolveVisitor.java

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 package com.google.dart.compiler.resolver;
 
 import com.google.dart.compiler.ErrorCode;
 import com.google.dart.compiler.ast.ASTVisitor;
 import com.google.dart.compiler.ast.DartCatchBlock;
 import com.google.dart.compiler.ast.DartFunction;
@@ skipping 125 matching lines @@
     Type type = getContext().resolveType(node, isStatic, isFactory, isAnnotation, errorCode,
         wrongNumberErrorCode);
     if (type == null) {
       type = getTypeProvider().getDynamicType();
     }
     node.setType(type);
     Element element = type.getElement();
     recordElement(node.getIdentifier(), element);
     if (element != null && element.getMetadata().isDeprecated()) {
       getContext().onError(node.getIdentifier(), TypeErrorCode.DEPRECATED_ELEMENT,
-          element.getName());
+         Elements.getDeprecatedElementTitle(element));
     }
     return type;
   }
 
   protected <E extends Element> E recordElement(DartNode node, E element) {
     node.getClass();
     if (element == null) {
       // TypeAnalyzer will diagnose unresolved identifiers.
       return null;
     }
     node.setElement(element);
     return element;
   }
 
   CoreTypeProvider getTypeProvider() {
     return typeProvider;
   }
 }