Changed book title in javadoc. Html titles remain unchanged to be consistent with print version.