add CountingPointMutations.java