JavadocProxy and copy of javadoc module fuctionality that is not available as API.