(Prevent JUnit warning under Eclipse.)