Clean up Eclipse classpath

I remove unneeded references to the deleted plugins from the Eclipse
classpath.