jgit/org.eclipse.jgit.ant/.settings/org.eclipse.core.runtime.prefs