Some code used in a Java 8 course