bug fix for jboss 4.2.2 GA