建立 JUnit 測試

有兩種方式可以建立 TPTP JUnit 測試:手動建立,或從現有的 JUnit 測試案例中建立。