Various Java utilities