Still more JavaDoc