Index: app/src/processing/app/Preferences.java
===================================================================
--- app/src/processing/app/Preferences.java	(revision 5692)
+++ app/src/processing/app/Preferences.java	(working copy)
@@ -717,13 +717,6 @@
         if (key.endsWith(platformExt)) {
           // this is a key specific to this platform
           key = key.substring(0, key.length() - platformExtLength);
-        } else {
-          if (table.get(key) != null) {
-            // don't over-write keys that may already be set, since it might
-            // be the platform-specific version that's already in there.
-            // e.g. blah.blah.linux being set before blah.blah in the defaults
-            continue;
-          }
         }
         String value = line.substring(equals + 1).trim();
         table.put(key, value);