Nota: Guarde el archivo de configuración antes de detener
el ejecutor o se perderán todos los cambios que haya realizado en la
configuración (ejecutor, clústeres, puertos, reglas y servidores).
Para detener el ejecutor:
Pulse con el botón derecho del ratón sobre el icono Ejecutor.