org.eclipse.jdt.ui.tests.refactoring/resources/RenameRecordComponentField/test1/in/B.java

package p;
class B(){

	public int val() {
		A a= new A(10);
		return a.f();
	}
}