Presently the location for Tomcat's 'work' directory is hard-coded to jboss.server.home.dir; it would be nice to override this (as is done with jboss.server.data.dir, jboss.server.log.dir, and jboss.server.temp.dir) to move 'data' directories outside the server home.