Fix p2.inf in jgit.pgm fragments