Fix more details about JavaDOC