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

package test0412;

interface A {
	void m();
}