Support user preferences exported by the Export->Preferences wizard by

removing prefixes when loading.

Author: dlwildschut

findbugs/src/java/edu/umd/cs/findbugs/config/UserPreferences.java

@@ -198,6 +198,19 @@ public void read(@WillClose InputStream in) throws IOException {
         if (props.size() == 0) {
             return;
         }
+
+        Properties prefixlessProperties = new Properties();
+        for (Map.Entry<?, ?> e : props.entrySet()) {
+            if(e.getKey() instanceof String) {
+                String key = e.getKey().toString();
+                String value = e.getValue().toString();
+                prefixlessProperties.setProperty(key.replace("/instance/edu.umd.cs.findbugs.plugin.eclipse/", ""), value);
+            } else {
+                prefixlessProperties.put(e.getKey(), e.getValue());
+            }
+        }
+        props = prefixlessProperties;
+
         for (int i = 0; i < MAX_RECENT_FILES; i++) {
             String key = "recent" + i;
             String projectName = (String) props.get(key);
@@ -206,6 +219,7 @@ public void read(@WillClose InputStream in) throws IOException {
             }
         }
 
+
         for (Map.Entry<?, ?> e : props.entrySet()) {
 
             String key = (String) e.getKey();