@@ -262,7 +262,8 @@ Executable idris
262262
263263 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
264264 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
265− IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
265+ IRTS.Compiler, IRTS.CodegenJava, IRTS.Java.ASTBuilding,
266+ IRTS.Java.JTypes, IRTS.Java.Mangling, IRTS.BCImp,
266267 IRTS.CodegenJavaScript, IRTS.CodegenLLVM,
267268 IRTS.CodegenCommon, IRTS.DumpBC
268269