public int recomputeSeverity() { if (children != null) { severity = OK; for (Diagnostic child : children) { int childSeverity = child instanceof BasicDiagnostic ? ((BasicDiagnostic)child).recomputeSeverity() : child.getSeverity(); if (childSeverity > severity) { severity = childSeverity; } } } return severity; }