522523524525526527528529530531532
// it is modified by one of the listeners. List listeners = diagnosticListeners; for (int i = 0; i < listeners.size(); i++) { DiagnosticListener listener = (DiagnosticListener) listeners.get( i); listener.diagnosticsChanged(event); } } } /**