Editing JUnit Plug-in tests

You can edit TPTP JUnit Plug-in test before execution.