Further JavaDoc improvements.