To my surprise, while copying AccessDeniedSubscriber, I discovered some semicolons being used.
I didn't even know that was possible. PHP documentation says it's allowed. Drupal coding standards don't mention it because... I guess it's too trivial.
Still: here's my suggestion for code unification (and Trivial Patch Of the Month candidate). Regexp search yielded 10 cases, some of which are intermixed with semicolons on other lines in the same switch statement.