This is a direct translation of the Java JunitTests, I thought it better to be explicit, since that's the only thing it's testing.