General JavaDoc formatting fixes