| 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);
|
| }
|
| {
|
|
|