143144145146147148149
} return escalationForScript; } void reinitializeScriptManager(String uri) { this.scriptManager = new ScriptManager(uri); }