[jboss-dev-forums] [Javassist Development] - probable bug in javassist.jar