| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartUI.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartUI.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartUI.java
|
| index c8ebb6c941834c4e8de3f2cb724f8fbae58fd1df..940570d4c6b90854e921e73e9dea898c20258f5c 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartUI.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartUI.java
|
| @@ -517,6 +517,9 @@ public final class DartUI {
|
| BufferedReader br = new BufferedReader(reader);
|
| try {
|
| String line = br.readLine();
|
| + if (line == null) {
|
| + return false;
|
| + }
|
| if (line.length() > MAX_LINE_LENGTH) {
|
| return true;
|
| }
|
|
|