Restore Javadoc.

It was mangled by an IDEA auto format.