The Java utilities