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 4da34a13a41eaf57b461814c397b0269c3884be8..18b763d55be83257b8172c0906d3c55db775397e 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 |
@@ -290,6 +290,10 @@ class ListWrapper<E> extends Collection<E> implements List<E> { |
return elements.remove(element); |
} |
+ void insertAt(int index, E value) { |
+ elements.insertAt(index, value); |
+ } |
+ |
E removeAt(int index) { |
return elements.removeAt(index); |
} |