Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
index 634ef4c8c696a412925f269e136e05e251594a1d..29f6ac8c821bdaad074b1a98dc3cf5b6abc2d034 100644 |
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
@@ -28,17 +28,17 @@ public class FileBasedSource implements Source { |
* The source factory that created this source and that should be used to resolve URI's against |
* this source. |
*/ |
- private SourceFactory factory; |
+ private final SourceFactory factory; |
/** |
* The file represented by this source. |
*/ |
- private File file; |
+ private final File file; |
/** |
* A flag indicating whether this source is in one of the system libraries. |
*/ |
- private boolean inSystemLibrary; |
+ private final boolean inSystemLibrary; |
/** |
* The character set used to decode bytes into characters. |