| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableFile.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableFile.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableFile.java
|
| index 819b61c4eb3f512185d8aa601f3164efe9476745..2e9dfaeac5fd8d5be37bf242f5d1745f5eafa610 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableFile.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutableFile.java
|
| @@ -31,6 +31,11 @@ import org.apache.commons.lang3.StringUtils;
|
| public class ExecutableFile {
|
|
|
| /**
|
| + * An empty array of {@link ExecutableFile}s.
|
| + */
|
| + public static final ExecutableFile[] EMPTY_ARRAY = new ExecutableFile[0];
|
| +
|
| + /**
|
| * The path of the executable file.
|
| */
|
| private final String file;
|
|
|