@@ -0,0 +1,609 @@
+import java.util.*;%0Aimport java.util.function.*;%0A%0Apublic class B %7B%0A  int modcount = 0;%0A%0A  int%5B%5D arr;%0A%0A  public void modify(IntUnaryOperator func) %7B%0A    int mc = modcount;%0A    for (int i = 0; i %3C arr.length; i++) %7B%0A      arr%5Bi%5D = func.applyAsInt(arr%5Bi%5D);%0A    %7D%0A    // Always false unless there is a call path from func.applyAsInt(..) to%0A    // this method, but should not be reported, as checks guarding%0A    // ConcurrentModificationExceptions are expected to always be false in the%0A    // absence of API misuse.%0A    if (mc != modcount)%0A      throw new ConcurrentModificationException();%0A    modcount++;%0A  %7D%0A%7D%0A

Add test.