M-Tools as an Eclipse plugin project