Rewrite using new Javadoc API#17

vojtechhabarta wants to merge 1 commit intoMarkusBernhardt:masterMarkusBernhardt/xml-doclet:masterfrom

vojtechhabarta:rewrite-using-new-javadoc-apivojtechhabarta/xml-doclet:rewrite-using-new-javadoc-apiCopy head branch name to clipboard