Basic Java utilities.