A library of random Java stuff