In LiveEdit API expose important control-flow parameter (fixing TODO)

plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/actions/PushChangesAction.java

 // Copyright (c) 2010 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 package org.chromium.debug.ui.actions;
 
 import java.util.List;
 
 import org.chromium.debug.core.ChromiumDebugPlugin;
 import org.chromium.debug.core.model.PushChangesPlan;
@@ skipping 22 matching lines @@
       execute(pair, shell, positionHighlighter);
     }
   }
 
   private void execute(final ScriptTargetMapping filePair, final Shell shell,
       final LiveEditResultDialog.ErrorPositionHighlighter positionHighlighter) {
     final PushChangesPlan plan = PushChangesPlan.create(filePair);
 
     UpdatableScript.UpdateCallback callback = new UpdatableScript.UpdateCallback() {
       @Override
-      public void success(Object report, ChangeDescription changeDescription) {
+      public void success(boolean resumed, Object report, ChangeDescription changeDescription) {
         ChromiumDebugPlugin.log(new Status(IStatus.OK, ChromiumDebugPlugin.PLUGIN_ID,
             "Script has been successfully updated on remote: " + report)); //$NON-NLS-1$
       }
 
       @Override
       public void failure(final String message, final UpdatableScript.Failure failure) {
         shell.getDisplay().asyncExec(new Runnable() {
           @Override
           public void run() {
             SingleInput textInput = LiveEditResultDialog.createTextInput(message, plan,
@@ skipping 16 matching lines @@
     }
     final ITextEditor textEditor = (ITextEditor) workbenchPart;
     return new LiveEditResultDialog.ErrorPositionHighlighter() {
       @Override
       public void highlight(int offset, int length) {
         textEditor.selectAndReveal(offset, length);
       }
     };
   }
 }