Text this: How Do Java Mutation Tools Differ? A framework for aiding future Java mutation tool comparisons.