Editing: ProcessSignaledException.php