throw e; // rethrow assertion error
} catch (ScriptException e) {
dumpCode(source);
Source code = new Source(source.getSimpleName(), Javascript.getScript(source).write());
TranslationError error = new TranslationError(e);
error.write(code.findBlock(e.getFailingLineNumber()));
throw error;
} catch (Throwable e) {
dumpCode(source);
TranslationError error = new TranslationError(e);
throw error;
}
}