Patch Set 2: Looks good to me, but someone else must approve; IP review completed

now it works :-) 

jgit missed to write the stopped-sha file which apparently prevented git 1.7.1 to work properly, also successfully tested with git 1.7.3.2