| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java | 
| =================================================================== | 
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java	(revision 8721) | 
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/DartLibraryImpl.java	(working copy) | 
| @@ -920,7 +920,7 @@ | 
| mapping = getDartProject().getHtmlMapping(); | 
|  | 
| final String elementName = getElementName(); | 
| -        final String libraryName = new Path(elementName).lastSegment().toString(); | 
| +        final String libraryName = getCorrespondingResource().getLocation().toPortableString(); | 
|  | 
| Set<String> keys = mapping.keySet(); | 
| for (String key : keys) { | 
|  |