make Oracle Javadoc tool happier; fixes #84