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