prove per java e git