jgit/org.eclipse.jgit.benchmarks/.settings/org.eclipse.pde.core.prefs