anchor.diff:    ProgressMonitor monitor;
   
     _GitPushTask(this.gitOperations, this.username, this.password, this.spark,
  -      this.monitor){
  -  }
  -
  -  Future run() {
  -    return gitOperations.push(username, password);
  -  }
  +      this.monitor);
  +
  +  Future run() => gitOperations.push(username, password);
   }
   
   abstract class PackageManagementJob extends Job {
  
positive.code:         spark, monitor);
      task.run().then((_) {
        spark.showSuccessMessage('Changes pushed successfully');
  
      }).catchError((e) {
        spark.showErrorMessage('Error while pushing changes', e.toString());
  
      }).whenComplete(() {
        _restoreDialog();
        _hide();
      });
  
    }
  
    void _toggleProgressVisible(bool visible) {
  
negative.code: 
      SparkButton pushButton = getElement('#gitPush');
      pushButton.enabled = false;
      pushButton.deliverChanges();
  
      ProgressMonitor monitor = new ProgressMonitorImpl(progressComponent);
  