| 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 9bd291ba3062ca41ae848970e881d7ce8408e562..ec02d6223d3915e5eccaba78e47ec0fa16e69747 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,7 +324,7 @@ public class MainEngine {
|
| makeSource("Object visitImportDirective(ImportDirective directive) {", " return null;"));
|
| source = replaceSourceFragment(
|
| source,
|
| - "fullName2.replaceAll(JavaFile.separatorChar, '/')",
|
| + "fullName2.replaceAll(new String.fromCharCode(JavaFile.separatorChar), '/')",
|
| "fullName2.replaceAll(r'\\', '/')");
|
| Files.write(source, new File(targetFolder + "/resolver.dart"), Charsets.UTF_8);
|
| }
|
|
|