Creating JUnit tests

You can create a TPTP JUnit test in one of two ways: manually or from an existing JUnit test case.