Replacement for java.util.Properties