A handful of Java utilities