It won't hurt to submit a patch. The worst that can happen is that Gavin rejects it :) View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4069851#4069851 Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&p=4069851