JBTM-1427 ensure that servers are stopped correctly when JBOSS_TERM is set