Creating JUnit Plug-in tests

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