Improvements in JavaDoc