Updated improved mujava++.
Merge branch 'directedmutations' of https://github.com/zeminlu/comitaco into directedmutations