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

package test0476;

public class A {
	public boolean b() {
		return true;
	}
	
	public void foo() {
		for (;b();)
			/*]*/for(;b();)
				foo();
		/*]*/foo();		
	}	
}