Source: https://www.bluej.org/doc/repository-setup-2.0.pdf