javadoc: convert @return into summary fragment

[pjonsson]

The summary fragment for methods is apparently what is shown in the "Method Summary" in Javadoc:

https://google.github.io/styleguide/javaguide.html#s7.2-summary-fragment

Have ErrorProne generate the summary fragment from existing javadoc where it can. This also removes a number of ErrorProne warnings.