Some Java utilities