MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler | Synapse