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

This fixes the server bug you noticed when viewing  org.eclipse.jgit/pom.xml in change 1739.   (I haven't yet rebuilt the server with this fix.)