repository dedicated to the Javadoc. Used as a submodule of the website