Misc code to support teaching Java Data Structures