new version of muJava++ with some quickfixes
Merge branch 'batcheddirectedmutations' of https://github.com/zeminlu/comitaco into batcheddirectedmutations

a wild merge appear!