org.eclipse.jdt.core.tests.model/workspace/CodeCorrection/src/CorrectException1.java

public class CorrectException1  {
	void foo() throws aaa.bbbz.AnException {
		
	}
}