general Java utilities and stuff