org.eclipse.jdt.core.tests.model/workspace/Formatter/test527b/A_in.java

package test527b;

@Jpf.Controller(
	    catches={
	       @Jpf.Catch(type=java.lang.Exception.class, method="handleException"),
	       @Jpf.Catch(type=PageFlowException.class, method="handlePageFlowException")
	    }
	)
	public class A {}