Description Marc Khouzam 2010-05-17 10:37:36 EDT

Created attachment 168738 [details]
Proposed fix

When I set the preferred launch delegate as part of my preferences (Run/Debug->Default Launchers), the preference is not restored when I restart my workbench.

I believe the problem was introduced with bug 288299 which started using the 'new' preference code.  The problem is that special handling seems to be necessary with the new preferences code, when dealing with properties that contain a '/'.

From the javadoc of Platform.getPreferencesService().getString() we can read:

"If the key contains a slash ("/") character, then a double-slash must be used to denote the end of they child path and the beginning of the key."

This patch should fix the problem.

Please not that I did _not_ check if any other preference affected by bug 288299 uses a '/' and therefore would have the same problem.