To use a given ADT and its mystery implementation, download the Java file that encodes the interface representing the ADT and all .class files listed after it. In addition to the files below, you may want to look at the automatically-generated Javadoc documentation for all ADT interfaces and implementations.