test

python/tools/garble/activity_garble.py

@@ -27,7 +27,7 @@ class ActivityGarble:
             for (src, dst) in self.activity_mapping.items():
                 separator = [" ", ".", "\"", "{", "}", "(", ")", "[", "]","<",">", ":",  ";", ","]
                 for sep in separator:
-                    file_content = file_content.replace(src + sep, dst + sep)
+                    file_content = file_content.replace(src + sep, dst + sep).replace(sep+src, sep+dst)
 
             ext = os.path.splitext(file_name)[1]
             if ext == '.java':