if (trace == null || trace.getCause() != exception) trace = new EvaluatorException(exception);
if (trace.getCause() != exception) trace.reset(exception);
    private Object throw_(Throwable exception) {        if (exception.getCause() != null && (                exception instanceof ExceptionInInitializerError ||                exception instanceof InvocationTargetException))            exception = exception.getCause();        if (trace == null || trace.getCause() != exception)            trace = new EvaluatorException(exception);        trace.addScalaLeavePoint();        throw trace;    }