Update JGit to 4.0.0.201506090130-r.62-gd2fbbc9 Includes improved push certificate support. Change-Id: I5063874dbfd3c1a081cc103d4d74d5d4b099ca7e