pe.addLocation(location);
throw pe;
} else if (thr instanceof LocatedRuntimeException) {
LocatedRuntimeException re = (LocatedRuntimeException)thr;
re.addLocation(location);
// Rethrow
throw re;
}
throw new ProcessingException(message, thr, location);