Changes generated by `./tools/format`. Since I disabled some formatting options to ease adoption, it mostly changes whitespaces and indentation only. `google-java-format` is pretty conservation that it avoids all semantics-changing changes, so this PR should be safe.