| 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 c136b7a37ff39db21ee6e9b8f0a7a37439346422..342b53cd3fdff92ec252a1a32b6ef30ba5a77dc4 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
|
| @@ -376,8 +376,8 @@ class ListWrapper<E> extends ListBase<E> implements List<E> {
|
| elements.sort(compare);
|
| }
|
|
|
| - void shuffle() {
|
| - elements.shuffle();
|
| + void shuffle([math.Random random]) {
|
| + elements.shuffle(random);
|
| }
|
|
|
| int indexOf(E element, [int start = 0]) {
|
|
|