anchor.diff:          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) {
  
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: 
      SparkButton pushButton = getElement('#gitPush');
      pushButton.enabled = false;
      pushButton.deliverChanges();
  
      ProgressMonitor monitor = new ProgressMonitorImpl(progressComponent);
  