fix bug since run_javac is not used any more