On 17.09.13 16:29, Benoit Ries wrote:
> Hi,
>
> How come when I switch workspace, the version used for Eclipse java
> virtual machine is not the same than when I start Eclipse.
>
> see this post which was unanswered
> http://www.eclipse.org/forums/index.php/m/1105060/#msg_1105060
>
> thanks,
> Benoît