| 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.
|
|
|