Some simple common Java utilities