an eclipse plugin for test4j