Editing JUnit tests

You can edit TPTP JUnit test before execution.