A repository containing the Java code for a digital library