a working version of the PEPA Eclipse plugin tool - for development