This lab is specified using Javadoc.