#3 mptool displays saved defaults wrong

[Arno Bakker]

Hi.

I start mptool and set printing to double sided and
then save the options via Options/Save as defaults.
If I restart mptool then it will still say single sized
eventhough $HOME/.mpdefaults says
mptool.doubleSided: true

(using 3.7.1 was also in 3.6.1.) BTW, you may want
to mention on http://java.sun.com/people/richb/RichApps/mp/
that you moved to SourceForge, google points to that
page.

Enjoying the program!
Arno