fix mapping of html files to libraries http://code.google.com/p/dart/issues/detail?id=3586

editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/HTMLFileImpl.java

Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/HTMLFileImpl.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/HTMLFileImpl.java	(revision 8721)
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/HTMLFileImpl.java	(working copy)
@@ -23,6 +23,7 @@
 import com.google.dart.tools.core.model.DartModelException;
 import com.google.dart.tools.core.model.HTMLFile;
 import com.google.dart.tools.core.utilities.resource.IFileUtilities;
+import com.google.dart.tools.core.utilities.resource.IResourceUtilities;
 import com.google.dart.tools.core.workingcopy.WorkingCopyOwner;
 
 import org.eclipse.core.resources.IFile;
@@ -89,19 +90,23 @@
     fileInfo.setChildren(DartElementImpl.EMPTY_ARRAY);
     try {
       List<String> libraryNames = LibraryReferenceFinder.findInHTML(IFileUtilities.getContents(file));
+      List<String> libraryPaths = IResourceUtilities.getResolvedFilePaths(
+          getUnderlyingResource(),
+          libraryNames);
       List<DartLibrary> referencedLibraries = new ArrayList<DartLibrary>(libraryNames.size());
       List<DartLibrary> libraries = DartModelManager.getInstance().getDartModel().getDartLibraries();
       for (DartLibrary library : libraries) {
         if (library.getDartProject().getProject().equals(file.getProject())) {
           String elementName = library.getElementName();
-          for (String libraryName : libraryNames) {
-            if (elementName.equals(libraryName) || elementName.endsWith("/" + libraryName)) {
+          for (String libraryPath : libraryPaths) {
+            if (elementName.equals(libraryPath) || elementName.contains(libraryPath)) {
               referencedLibraries.add(library);
               break;
             }
           }
         }
       }
+
       fileInfo.setReferencedLibraries(referencedLibraries.toArray(new DartLibrary[referencedLibraries.size()]));
       fileInfo.setIsStructureKnown(true);
       return true;