A set of Eclipse plugins