eclipse plugin of mytools