Index: editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
index 72bdc99c952196a2ab12d939c9c96fae1b7f711b..2e7a665f255f0a336e269e2edbce8b9d5d02263d 100644 |
--- a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
+++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
@@ -296,6 +296,10 @@ class ListWrapper<E> extends Collection<E> implements List<E> { |
return elements.remove(element); |
} |
+ void insert(int index, E value) { |
+ elements.insert(index, value); |
+ } |
+ |
E removeAt(int index) { |
return elements.removeAt(index); |
} |