Rename Identifier.getElement

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/PrefixedIdentifier.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/PrefixedIdentifier.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/PrefixedIdentifier.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/PrefixedIdentifier.java
index 153042dd343ff57e1d73972b470f2ac19d372ab5..f5c59114131546ae4befa9263ffdbb69c9048e57 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/PrefixedIdentifier.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/PrefixedIdentifier.java
@@ -68,11 +68,11 @@ public class PrefixedIdentifier extends Identifier {
   }
 
   @Override
-  public Element getElement() {
+  public Element getBestElement() {
     if (identifier == null) {
       return null;
     }
-    return identifier.getElement();
+    return identifier.getBestElement();
   }
 
   @Override
@@ -113,6 +113,14 @@ public class PrefixedIdentifier extends Identifier {
   }
 
   @Override
+  public Element getPropagatedElement() {
+    if (identifier == null) {
+      return null;
+    }
+    return identifier.getPropagatedElement();
+  }
+
+  @Override
   public Element getStaticElement() {
     if (identifier == null) {
       return null;