java.util.Properties enhanced!