public void UpdateFile(
     string projectName,
     string fileName,
     string contents,
     bool open = false
     ) => _inProc.UpdateFile(projectName, fileName, contents, open);