ResolveCatchArgumentType1.java

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