En Windows, para cambiar cualquiera de las propiedades de entorno (como la pila de JBoss), se debe gestionar en setEnv.sh y no en el script setEnv.bat. Esto se debe a que todos los valores de propiedades se incluyen en setEnv.sh incluso para Windows (con bash).