}
public void update(SymbolRegistry symbols, ViewerTraceRecord record) {
StringBuilder sb = new StringBuilder();
SymbolicException cause = findCause(record);
SymbolicException exception = findException(record);
if (exception != null) {
exceptionDisplay.setText(printException(symbols, exception, cause, sb));
} else {
exceptionDisplay.setText("<no exception>");