Rename Identifier.getElement

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

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/LibraryIdentifier.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/LibraryIdentifier.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/LibraryIdentifier.java
index 910244c03f92f9c38b811f2b35da56f92d5f117e..5cbfff79645bf40433f056a5583af55247ff2911 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/LibraryIdentifier.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/ast/LibraryIdentifier.java
@@ -53,6 +53,11 @@ public class LibraryIdentifier extends Identifier {
     return components.getBeginToken();
   }
 
+  @Override
+  public Element getBestElement() {
+    return getStaticElement();
+  }
+
   /**
    * Return the components of the identifier.
    * 
@@ -63,11 +68,6 @@ public class LibraryIdentifier extends Identifier {
   }
 
   @Override
-  public Element getElement() {
-    return null;
-  }
-
-  @Override
   public Token getEndToken() {
     return components.getEndToken();
   }
@@ -88,6 +88,11 @@ public class LibraryIdentifier extends Identifier {
   }
 
   @Override
+  public Element getPropagatedElement() {
+    return null;
+  }
+
+  @Override
   public Element getStaticElement() {
     return null;
   }