+ Batch-Skript zum sauberen Stoppen des JBoss