Add back Javadoc which was deleted by mistake.