/org.eclipse.jgit.coverage/.settings/