Bugfix #19
Prefs.java:
-savePreferences() checks that the new config file does not match the default config file based on resolved file name, fixes #19