org.eclipse.jdt.core.tests.model/workspace/Converter/src/test0499/A.java

class A {
  public void foo() {
     int x= 10;
     x= x + 1;
  }
}