Added toURI() to avoid warning about deprecated toURL().
Small modifications related to generation of javadoc and dist.