| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/index/Resource.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/index/Resource.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/index/Resource.java
|
| index eefb765a9bf6e85fccaf97173db53f609e6c666f..7bd8088ff4864cecb76c3553f853c82f965c67ec 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/index/Resource.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/index/Resource.java
|
| @@ -13,6 +13,8 @@
|
| */
|
| package com.google.dart.tools.core.index;
|
|
|
| +import com.google.dart.compiler.util.StringInterner;
|
| +
|
| /**
|
| * Instances of the class <code>Resource</code> represent a resource that contains elements.
|
| * Resources conceptually correspond to files, but are not required to be actual files in a file
|
| @@ -30,7 +32,7 @@ public final class Resource {
|
| * @param resourceId the globally unique identifier for this resource
|
| */
|
| public Resource(String resourceId) {
|
| - this.resourceId = resourceId;
|
| + this.resourceId = StringInterner.intern(resourceId);
|
| }
|
|
|
| @Override
|
|
|