org.eclipse.jdt.core.tests.model/workspace/Formatter/test527b/A_out.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 {
}