[java] treat CatchVar's emitted by Sawja as temporary variables

Reviewed By: cristianoc

Differential Revision: D3871548

fbshipit-source-id: 32274ef

infer/src/IR/Pvar.re

@@ -268,7 +268,8 @@ let tmp_prefix = "0$?%__sil_tmp";
 let is_frontend_tmp pvar => {
   /* Check whether the program variable is a temporary one generated by sawja */
   let is_sawja_tmp name =>
-    string_is_prefix "$irvar" name || string_is_prefix "$T" name || string_is_prefix "$bc" name;
+    string_is_prefix "$irvar" name ||
+      string_is_prefix "$T" name || string_is_prefix "$bc" name || string_is_prefix "CatchVar" name;
   /* Check whether the program variable is generated by [mk_tmp] */
   let is_sil_tmp name => string_is_prefix tmp_prefix name;
   let name = to_string pvar;