| 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 eaec32524d99f42b1bf1badee284dcf2fc0308ad..1764c0f9b959c1e6d841569c4f51ddd8c2455cc4 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
|
| @@ -291,6 +291,7 @@ public class MainEngine {
|
| context.applyLocalVariableSemanticChanges(dartUnit);
|
| EngineSemanticProcessor.rewriteReflectionFieldsWithDirect(context, dartUnit);
|
| // dump as several libraries
|
| + Files.copy(new File("resources/interner.dart"), new File(targetFolder + "/interner.dart"));
|
| Files.copy(new File("resources/java_core.dart"), new File(targetFolder + "/java_core.dart"));
|
| Files.copy(new File("resources/java_io.dart"), new File(targetFolder + "/java_io.dart"));
|
| Files.copy(new File("resources/java_junit.dart"), new File(targetFolder + "/java_junit.dart"));
|
|
|