148   public static void testMethod(String method) throws Exception {  in testMethod()  method in Main
172     testMethod("testUseAfterCatch_int");  in main()
173     testMethod("testUseAfterCatch_long");  in main()
174     testMethod("testUseAfterCatch_float");  in main()
175     testMethod("testUseAfterCatch_double");  in main()
176     testMethod("testCatchPhi_const");  in main()
177     testMethod("testCatchPhi_int");  in main()
178     testMethod("testCatchPhi_long");  in main()
179     testMethod("testCatchPhi_float");  in main()
180     testMethod("testCatchPhi_double");  in main()
181     testMethod("testCatchPhi_singleSlot");  in main()
182     testMethod("testCatchPhi_doubleSlot");  in main()