A library of small Java utilities