Make Javadocs browsable using Devhelp