Users defined on target server are removed by migration procedure.
reproduce:
$SOURCE_DIST/bin/add-user.sh sourceUser asdasd@2 $TARGET_DIST/bin/add-user.sh targetUser asdasd@2 ./jboss-server-migration.sh --source $SOURCE_DIST --target $TARGET_DIST --interactive false
Only sourceUser is setup on target server
$cat $TARGET_DIST/standalone/configuration/mgmt-users.properties | grep User= sourceUser=d0ce59253805dd373185d37303525d24