tests/org.eclipse.wst.jsdt.core.tests.model/workspace/Formatter/test527/A_in.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 {}