4.11 (JUnit): minor changes