Added Preferences.flush() to SkinHelper.changeSkin().
Authored by: aktion-hip 2009-03-18
Parent: [r726]
Child: [r728]