Common Java utilities, mostly small stuff