a java library for JGIt external