old eclipse plugin core deleted.