}
proc.defineProperty("encoding", encoding, ScriptableObject.READONLY);
NativeObject mainModule = (NativeObject) proc.get("mainModule");
mainModule.defineProperty("filename", new File("tsc.js").getAbsolutePath(), ScriptableObject.READONLY);
tscScript.exec(ctx, globalScope);
} catch (JavaScriptException e) {
if (e.getValue() instanceof NativeJavaObject) {
NativeJavaObject njo = (NativeJavaObject) e.getValue();