Examples of using Java mutation testing tools