Thanks for the suggestion. Unfortunately, the version of the JBOSS IDE
that I am using does not work as Darin suggests. I am using JBOSS IDE 2.0
and the JBOSS AS 4.0 down loaded as
JBossIDE-2.0.0.Beta2-Bundle-linux-gtk.tar.gz from http://labs.jboss.com/jbosside/download/index.html.
It seems the version one is using must make a difference to the bugs one
encounters.