Java utilities.