did you ever get this figured out?
i can't comment on 4.0.2 if that's exactly what you need but...
i am totally new to the j2ee world so forgive me if what i say is untrue, but i noticed no one else responded. here's what i have found -
jbossws is included in 4.0.4RC1, jboss-4.0.4RC1/docs/examples/jbossws
hope this helps.