a slightly improved Properties utility