No code change. Javadoc and reformat.