I assume you already found that the correct jar to include is PicketBox. You will find it here:
/jboss-as-install-dir/modules/org/picketbox/main/picketbox-4.0.6.Beta2.jar
(or a slighlty different version).
Reply to this message by going to Community
Start a new discussion in JBoss AS 7 Development at Community