ResolveCatchArgumentType2.java

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