// This function ensures that the options member
 // is initialized.
 public void EnsureOptions()
 {
     if (options == null)
     {
         options = new FolderSyncOptions();
     }
 }
 // This function ensures that the options member
 // is initialized.
 public void EnsureOptions()
 {
     if (options == null)
         options = new FolderSyncOptions();
 }