Henk,
Could you try the following:
- install JBoss Tools 3.3.0M5
- install the JBoss Tools Source Lookup feature from http://anonsvn.jboss.org/repos/jbosstools/workspace/snjeza/org.jboss.tools.as.sourcelookup.updatesite/
- install the JBoss AS 7.x server and configure it
- double click the server in the Servers View and click the Open launch configuration link
- select the Source tab
- click the Add button and select the JBoss AS Source Container
- start the JBoss AS 7 server in the debug mode
- set a breakpoint somewhere or suspend some thread in the Debug view
The JBoss Tools Source Lookup plugin will download (if necessary) and open source file when the JVM faces the breakpoint or you suspend the thread.
This will work for JBoss AS 6.1 and JBoss AS 7.x servers.
Your suggestions are welcome.