please submit as a bug report
thanks juha -
i tried one url i came across which seemed to be a jboss bug reporting site, but the url timed out --- and i couldn't find any references to bug reporting on the jboss.org home page --- so could you point me to the right place for that?
i prepared a patch for the problem myself, and its at http://xoba.com/jboss. i'm planning on submitting the patch myself once i find out the right url for doing that.