tests/org.eclipse.wst.jsdt.core.tests.model/workspace/Formatter/test527/A_out.js

package test527;

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