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

package test0413;

class E extends Exception {
}

interface A {
	void m() throws IOException, E;
}