hi

i m developping on
**
JBossIDE for Eclipse

Version: 2.0.0
Build id: 2.0.0.Beta2
**

and it seems the server launch configuration doesnt work.
I try to enable in the "JRE" tab the option "Workspace default JRE" but despite the fact i click on "apply > ok" this option is never saved.

Is there any problem with that option ? does anything else must be done before using it ? i need it to solve an "Error logged for Ant UI"...

Thanks