Merge "Add google-java-format-diff.py from the public repository."