finalAfterParameterAnno.java

public class Util {
  void foo(@Foo <caret> String[] args) { }}