Mini Java utils