Re: Use optionally sun.awt.* properties

[Greg Brown]

> System.setProperty("sun.awt.erasebackgroundonresize", "true");

This should be set to false. I just checked in a fix. Thank you for catching 
this.