Hide $GIT_DIR and friends from JGit