Undeployment of a deployment deployed via filesystem copy using management operation is not persisted.

Undeployment of a deployment deployed via filesystem copy using management operation is not persisted.

1. Start AS in standalone configuration
2. deploy an application by copying app war file to AS_HOME/standalone/deployments
3. undeploy the application using CLI undeploy command
4. restart the server, application is redeployed

I am not sure if that is actually a bug or it is by design. Should we update deployment marker files in such case accordingly to prevent redeployment? If this is by design, it would be nice to have this documented.