Editing: ShellExitCodeCalculator.php