Fix platform-specific preferences in some cases#2012

cmaglie merged 2 commits intoarduino:ide-1.5.xarduino/Arduino:ide-1.5.xfrom

matthijskooijman:ide-1.5.x-platform-preferencesmatthijskooijman/Arduino:ide-1.5.x-platform-preferencesCopy head branch name to clipboard