| 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);
|
| }
|
|
|