Eclipse project to deploy JGraLab as Eclipse plugin