| 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 efedf1b5d7645cbc9768e9d1ef786677c087b387..1170ca179a2cf404fb31d70c8c4e04d351680118 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
|
| @@ -291,6 +291,10 @@ class ListWrapper<E> extends Collection<E> implements List<E> {
|
| return elements.indexOf(element, start);
|
| }
|
|
|
| + void insert(int index, E element) {
|
| + elements.insert(index, element);
|
| + }
|
| +
|
| int lastIndexOf(E element, [int start]) {
|
| return elements.lastIndexOf(element, start);
|
| }
|
| @@ -303,10 +307,6 @@ 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);
|
| }
|
|
|