selenium.addScript(extension);
selenium.getEval(setResourceNameForId.parametrize(identification, escapedResourceName));
}
private void refreshScript(String resourceName) {
JavaScript extension = JavaScript.fromResource(resourceName);
String identification = extension.getIdentification();
String escapedResourceName = escapeJavaScript(resourceName);
String scriptId = selenium.getEval(getIdForScriptWithResourceName.parametrize(escapedResourceName));
if (!scriptId.equals(identification)) {