begin Javadoc for public API