xtarea.select(); };
    textarea.value = JSON.stringify(fullJson);
    var resultDumpHeader = document.getElementById('result-dump');
    resultDumpHeader.parentNode.insertBefore(
        textarea, resultDumpHeader.nextSibling);
    var workingNote = document.getElementById('working');
    workingNote.parentNode.removeChild(workingNote);
  }

  var whenArgs = [run];
  for (var k in fullJson) {
    if (fullJson.hasOwnProperty(k)) {
      whenArgs.push(fullJson[k]);
    }
  }

  when.apply(null, whenArgs);
}(