Some extensions to the JUnit test suite