update to JUnit 4.12