if (ExecutionTracer.getExecutionTracer().getLastException() == exceptionThrown) { result.explicitExceptions.put(num.get(), true); } else {
if (ExecutionTracer.getExecutionTracer().getLastException() == exceptionThrown) { result.explicitExceptions.put(num.get(), true); } else {