Some Java utilities.