fix eclipse preferences for freeplane_plugin_workspace