Restore javadoc removed by accident