javadoc enhancements for last-minute 0.20 changes