142   public static void testMethod(String method) throws Exception {  in testMethod()  method in Main
166     testMethod("testUseAfterCatch_int");  in main()
167     testMethod("testUseAfterCatch_long");  in main()
168     testMethod("testUseAfterCatch_float");  in main()
169     testMethod("testUseAfterCatch_double");  in main()
170     testMethod("testCatchPhi_const");  in main()
171     testMethod("testCatchPhi_int");  in main()
172     testMethod("testCatchPhi_long");  in main()
173     testMethod("testCatchPhi_float");  in main()
174     testMethod("testCatchPhi_double");  in main()
175     testMethod("testCatchPhi_singleSlot");  in main()
176     testMethod("testCatchPhi_doubleSlot");  in main()