org.eclipse.jdt.core.tests.model/workspace/Formatter/test527/A_out.java

package test527;

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