Miscellaneous code used for testing during exploration of Java