Applying the Technique: Programming in the Java Language