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

package test0453;

public class A {
	public String foo() {
		return super.toString();
	}
}