org.eclipse.jdt.core.tests.model/workspace/Converter/test0131/Test.java

package test0131;
import java.util.*;
public class Test {
  void foo(final int i) {}

}