It would be better to use the JUnit4 assertion methods, i.e., ``assertTrue``. But it's a minor point...