When deploying to AS7 there are 2 components involved:

• JBoss7JSTPublisher: adds markers that shall be created to the JBoss7ServerBehavior (see #markDeployed)
• JBoss7ServerBehavior: creates the .dodeploy markers (see #publishFinish)

IMHO what is not ideal here is that the list of markers that shall be created is passed around in form of an object (the publisher adds a list as a java.lang.Object and the server behavior then gets the java.lang.Object and then cast it to a List.
If you would want to change the form that shall hold the marker you'd have to figure out and change both components. Both components have to know about the form, which is not ideal in terms of separation of concerns.