Community
Participate
Working Groups
In the External Tools JRE tab, there is no way to select the default JRE. It's best to explain with an example... I'm running Eclipse on a 1.6 JRE and according to ant -diagnostics, the "run with workspace JRE" option gives me this JRE. My default JRE is named JDK_1.4 and that's what I compile with. But, the .classpath files, do not refer to it my name, it refers to it using "JRE_CONTAINER" this allows me to modify the default without having to update all my projects. With External tools, I have to explicitly select JDK_1.4 and the .launch file will reference JDK_1.4 so I'm not able to fully hide the actual value of the default JRE. Could you please add a new option on the External Tools JRE tab for "Workspace Default JRE"... Actually, you probably need another option for "Project Default JRE" I don't use it but I know that you can override the JRE at the project level.
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.