}
public void reportException(RhinoException ex)
{
if (ex instanceof WrappedException) {
WrappedException we = (WrappedException)ex;
we.printStackTrace(err);
} else {
String msg = getExceptionMessage(ex);
reportErrorMessage(msg, ex.sourceName(), ex.lineNumber(),
ex.lineSource(), ex.columnNumber(), false);
}