Yes, if you get JBossAS (community version) or JBossEAP (enterprise/supported version), it comes with JBossWS as the web service stack. Usually the easiest way to figure out which version of JBossWS is included is to look at the Manifest.mf file in one of the JBossWS jar file, like client/jbossws-client.jar, which in JBossEAP 4.2 says:
Implementation-Version: jbossws-1.2.1.GA (build=200704151756)
I don't use JBoss Developer Studio, so I cannot comment on its insistence of doing Axis-based web services.
JBossTools is based on Eclipse WTP. WTP has a wizard for Axis. That's the simple reason why an Axis wizard is shipped with JBossTools.
Thanks for the helpful replies. It also helped that I finally got the JBossEAP running, and was then able to http://localhost:8080/jbossws. The info that I got via that page, especially the wiki, was quite helpful (although it is hard for me to determine if some of it is out-of-date or not). Thanks, everyone!
p.s. Oh, and I think that perhaps I neglected to pick up JBossTools...