While I was trying to fix JBIDE-9309, I noticed this issue.
Test case:
- create a non AS7 server (JBoss AS 6.0.0.Final, for instance)
- open the server editor and click the Open Launch Configuration link
- click the Classpath (or Source) tab
You will see that the JRE entry doesn't exist either in the Classpath or in the Source tab.
The AS7 launch configuration is created correctly.
Attached is a patch.