| Index: editor/util/plugins/com.google.dart.java2dart/src/com/google/dart/java2dart/engine/MainEngine.java
 | 
| diff --git a/editor/util/plugins/com.google.dart.java2dart/src/com/google/dart/java2dart/engine/MainEngine.java b/editor/util/plugins/com.google.dart.java2dart/src/com/google/dart/java2dart/engine/MainEngine.java
 | 
| index cc0fde5e7a55dd04a1fd9f7e2411bc9d3f2f38a4..798cc0884f800cb5f30dc421bca68367d4199228 100644
 | 
| --- a/editor/util/plugins/com.google.dart.java2dart/src/com/google/dart/java2dart/engine/MainEngine.java
 | 
| +++ b/editor/util/plugins/com.google.dart.java2dart/src/com/google/dart/java2dart/engine/MainEngine.java
 | 
| @@ -324,8 +324,8 @@ public class MainEngine {
 | 
|            makeSource("Object visitImportDirective(ImportDirective directive) {", "    return null;"));
 | 
|        source = replaceSourceFragment(
 | 
|            source,
 | 
| -          "fullName2.replaceAll(new String.fromCharCode(JavaFile.separatorChar), '/')",
 | 
| -          "fullName2.replaceAll(r'\\', '/')");
 | 
| +          "fullName.replaceAll(new String.fromCharCode(JavaFile.separatorChar), '/')",
 | 
| +          "fullName.replaceAll(r'\\', '/')");
 | 
|        Files.write(source, new File(targetFolder + "/resolver.dart"), Charsets.UTF_8);
 | 
|      }
 | 
|      {
 | 
| 
 |