4.0.0 eclipse.platform.team eclipse.platform.team 4.7.0-SNAPSHOT ../../ org.eclipse.team org.eclipse.team.genericeditor.diff.extension 1.0.0-SNAPSHOT eclipse-plugin