scriptContent.add(Pair.pair(scriptText, js.getFilePosition().source()));
mc.addInputSource(js.getFilePosition().source());
script.getParentNode().removeChild(script);
}
for (Pair<String, InputSource> script : scriptContent) {
inputs.add(new Executor.Input(script.a, mc.abbreviate(script.b)));
}
// Set up the DOM. env.js requires that location be set to a URI before it
// creates a DOM. Since it fetches HTML via java.net.URL and passes it off
// to the org.w3c parser, we use a content: URL which is handled by handlers