* @param c the component involved in the EDT violation.
* @param stackTraceElements stack trace elements to be set to the thrown exception.
* @throws EdtViolationException when a EDT access violation is found.
*/
@Override void violationFound(JComponent c, StackTraceElement[] stackTraceElements) {
EdtViolationException e = new EdtViolationException("EDT violation detected");
if (stackTraceElements != null) e.setStackTrace(stackTraceElements);
throw e;
}