I think I resolved this. The docs mention that you can use “module-name” in the web.xml. Going to the WildFly config, I can just put in module-name followed by a .war suffix. For instance, I can deploy carl-1.0-SNAPSHOT.war, have it register module “carl” in the web.xml, then point to that deployment in WildFly as name=“carl.war” (even though there is no carl.war).