Update JavaDocs for Travis build 72