The customer upgraded the domain controller from 7.0 to 7.1 before upgrading the hosts.
While that may be technically true, the customer did not realize that the new subsystems added by the JBoss Server Migration Tool would cause a 7.0 host to fail to boot.
Though he sees documentation about how to work around this in the Configuration Guide , he thinks it would be helpful to add a warning in Using the JBoss Server Migration Tool.
Specifically, he thinks a warning box at the top of  would be helpful, explaining that users cannot just run the tool on the domain controller and expect the other hosts to still work (i.e. unless users follow ).