anchor.diff:  
       SparkButton pushButton = getElement('#gitPush');
       pushButton.enabled = false;
  -    pushButton.text = "Pushing...";
       pushButton.deliverChanges();
   
       ProgressMonitor monitor = new ProgressMonitorImpl(progressComponent);
  
positive.code:   ProgressMonitor monitor;
  
    _GitPushTask(this.gitOperations, this.username, this.password, this.spark,
        this.monitor){
    }
  
    Future run() {
      return gitOperations.push(username, password);
    }
  }
  
  abstract class PackageManagementJob extends Job {
  
negative.code:   }
  
    void _restoreDialog() {
      SparkButton pushButton = getElement('#gitPush');
      pushButton.enabled = true;
      pushButton.text = "Push";
      SparkButton closeButton = getElement('#gitPushClose');
      closeButton.enabled = true;
      _toggleProgressVisible(false);
  