Fix of Eclipse plugins