Move google-java-format settings page to Tools section. - #1445

Move google-java-format settings page to Tools section.#1445

copybara-service[bot] merged 1 commit into

mastergoogle/google-java-format:masterfrom

test_963854682google/google-java-format:test_963854682Copy head branch name to clipboard