Fix #792 : JUnit 4.12 compatibility