Patch Set 1:

This is a fix for Change Ie6e9c6784c9f265ca3c013c6dc0e6bd29d3b7233 for which I had submitted the wrong file "gitgit.index.v3.skipWorkTree", the intended file was only located in my org.eclipse.jgit.test/bin - directory. Sorry :(