Move getters from Options to Platform

editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart

 library java.io;
 
 import "dart:io";
 
 class JavaSystemIO {
   static Map<String, String> _properties = new Map();
   static String getProperty(String name) {
     {
       String value = _properties[name];
       if (value != null) {
@@ skipping 10 matching lines @@
       return '\n';
     }
     if (name == 'com.google.dart.sdk') {
       String value = Platform.environment['DART_SDK'];
       if (value != null) {
         _properties[name] = value;
         return value;
       }
     }
     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
         {
           sdkPath = new Path(exec).directoryPath.append("dart-sdk").toNativePath();
           if (new Directory(sdkPath).existsSync()) {
             _properties[name] = sdkPath;
             return sdkPath;
           }
         }
@@ skipping 68 matching lines @@
     List<JavaFile> files = [];
     List<FileSystemEntity> entities = _newDirectory().listSync();
     for (FileSystemEntity entity in entities) {
       files.add(new JavaFile(entity.path));
     }
     return files;
   }
   File _newFile() => new File.fromPath(_path);
   Directory _newDirectory() => new Directory.fromPath(_path);
 }