the current name of the core.plugin is now
fr.inria.diverse.k3.eclipse.core.plugin
makes sure the new wizard creates the correct dependency