org.eclipse.jdt.ui.tests.refactoring/resources/RenameRecordElements/testRenameRecord/out/C.java

package p;
record C(int f){
	public C{
		this.f= f;
	}
	
	public C() {
		this.f=0;
	}
	
	public void val(int f) {
		
	}

	public int getVal() {
		return f();
	}
	
	public int f() {
		return f;
	}
}