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

package test0443;

public class A {
   public abstract void foo() {
   		return;
   }
}