/** @return The names of the classes to mutate. */ public Collection<String> getClassNames() { Set<String> classNames = new HashSet<String>(); for (Mutation m : mutations) { classNames.add(m.getClassName()); } return classNames; }