Statistics for OOMatch: Pattern Matching as Dispatch in Java