Saving StateManager properties
I probably need to get whacked with the most basic of cluesticks, but
my feeble mind is at a loss... So I see that I can use/alter
properties via getProperty() and putProperty()--is there a good way
to save these to a file (aside from serializing the results of
getProperties())?
Thanks,
Jon
