Mike's general purpose Java library