Max,
Maybe for exploded deployments, JBoss Tools could do the job of "pushing" a xxx.dodeploy marker to the deployments folder when a xxx application is "Published"? That way, the IDE users won't have to create and manage that marker themselves.