Fix for issue 18273

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/LibraryElementHandle.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/LibraryElementHandle.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/LibraryElementHandle.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/LibraryElementHandle.java
index 0707b75422be62b21a1453944baa0dfdf934a612..512a3f5e263973a16ff9278743fa45026908041e 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/LibraryElementHandle.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/handle/LibraryElementHandle.java
@@ -69,11 +69,21 @@ public class LibraryElementHandle extends ElementHandle implements LibraryElemen
   }
 
   @Override
+  public ImportElement[] getImportsWithPrefix(PrefixElement prefixElement) {
+    return getActualElement().getImportsWithPrefix(prefixElement);
+  }
+
+  @Override
   public ElementKind getKind() {
     return ElementKind.LIBRARY;
   }
 
   @Override
+  public FunctionElement getLoadLibraryFunction() {
+    return getActualElement().getLoadLibraryFunction();
+  }
+
+  @Override
   public CompilationUnitElement[] getParts() {
     return getActualElement().getParts();
   }