718719720721722723724725726727728
} } //JCOV if (env.covdata()) { Assembler CovAsm = new Assembler(); CovAsm.GenJCov(env); } // end JCOV // We're done if (env.verbose()) {