Code from the Java workshop