Work around a JDK-head failure.#1247

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

test_747371705google/google-java-format:test_747371705Copy head branch name to clipboard