ExecutableMode.java 550b45f24b400bf5e705b06da2839d07ce32ce8e GREEN
ExecutableModeAutomatonSpecification.java 3c8bcbcdc33be10fdc8ab8dfacaa22e0b4831132 GREEN
