Update Java to 1.7 in bash_profile.
Remove personal settings from gitconfig.

Also source ~/.extra personal dotfile in bash_profile that sets git
environment variables for git author name, author email, committer name,
and committer email.