| 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 4c47b62ff9b87da60c6f2e52eec9bf6a7b7e9f31..a6282ebbb1878ccced9b2e992db7c6650cf3eb27 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
|
| @@ -260,6 +260,10 @@ class UnsupportedOperationException extends JavaException {
|
| String toString() => "UnsupportedOperationException";
|
| }
|
|
|
| +class NoSuchElementException extends JavaException {
|
| + String toString() => "NoSuchElementException";
|
| +}
|
| +
|
| class NumberFormatException extends JavaException {
|
| String toString() => "NumberFormatException";
|
| }
|
|
|