Switch jgit.pgm to J2SE-1.5 execution environment