My general Java utilities