Eclipse plugin for measuring QVTo test coverage