Another repository to test GitHub pages with JavaDoc