/org.eclipse.jgit.ui/.settings/