fill in JGit.add api doc