I want to implement the "switch workspace" feature of E3 and wonder if there is a preferred way to do it. My first guess would be to update the eclipse.ini file which contains the default workspace and restart the ResourcePlugin bundle. But it seems a bit hard.
It is not possible as of today with E4 sdk.