Как отключить JBoss AS 7 server?

Я недавно обновил jboss-as.7.1.0.CR1b до jboss-as. .7.1.0.Final и хотите закрыть работающий экземпляр из консоли. В предыдущих версиях была доступна команда

$JBOSS_HOME/bin/jboss-admin.sh --connect command=:shutdown

, но я не вижу jboss-admin.sh в каталоге bin или других сценариев оболочки для выключения сервера.