gerrit / jgit / ca9107d166ec2a06e8c16b73d05064ba28c049da / org.eclipse.jgit.archive / .settings / org.eclipse.core.runtime.prefs