Migrate to records in google-java-format#1343

copybara-service[bot] merged 1 commit intomastergoogle/google-java-format:masterfrom

test_876109624google/google-java-format:test_876109624Copy head branch name to clipboard