A small test case demonstrating that PIT breaks JUnit's classrule contract