continue;
}
if (xact == null) {
throw new Exception("Failed to deserialize transaction trace on line " + xact_ctr);
} else if (filter != null) {
FilterResult result = null;
// It's ok to do this because the real CPU bottleneck is
// the JSON deserialization
synchronized (filter) {
result = filter.apply(xact);