Another needed class: java.util.Properties

[John Keiser]

        Apparently we don't have this one.  System uses it.  It's not too big.  Any
takers?
--John Keiser