version of org.eclipse.core.resources changed