tests/org.eclipse.wst.jsdt.core.tests.model/workspace/Resolve/src/ResolveCatchArgumentType1.js

public class ResolveCatchArgumentType1 {
	void foo() {
		try {
		} catch (X1.Y1 e) {
		}
	}
}