| 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 2c992169b8f2aef58de3e2f64ade8fcfac90f026..64ae98686aa798848e87c9cf1c59ae72e2ac0a38 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
|
| @@ -511,6 +511,7 @@ class JavaPatternMatcher {
|
| JavaPatternMatcher(RegExp re, String input) {
|
| _matches = re.allMatches(input).iterator;
|
| }
|
| + bool matches() => find();
|
| bool find() {
|
| if (!_matches.moveNext()) {
|
| return false;
|
|
|