PEPA Eclipse plugin