finalized Javadoc, updated actual produced Javadoc HTML