| Index: editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
 | 
| diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
 | 
| index b1cced892d9acb4804c7f3383c62d6307ccda5d1..fbbe65fb1037f1f0144f3ccae457abb8a33f1c58 100644
 | 
| --- a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
 | 
| +++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
 | 
| @@ -28,7 +28,7 @@ class JavaSystemIO {
 | 
|        }
 | 
|      }
 | 
|      if (name == 'com.google.dart.sdk') {
 | 
| -      String exec = new Options().executable;
 | 
| +      String exec = Platform.executable;
 | 
|        if (exec.length != 0) {
 | 
|          String sdkPath;
 | 
|          // may be "xcodebuild/ReleaseIA32/dart" with "dart-sdk" sibling
 | 
| 
 |