| 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 0957f27fe7421ac705c4bff00e31b85515c96553..1e1e4459364f69feffe2123d741a0007edb9fddc 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
|
| @@ -103,6 +103,9 @@ class JavaFile {
|
| }
|
| return false;
|
| }
|
| + bool isExecutable() {
|
| + return _newFile().statSync().mode & 0x111 != 0;
|
| + }
|
| bool isFile() {
|
| return _newFile().existsSync();
|
| }
|
|
|