bug fix

python/tools/garble/package_garble.py

@@ -33,7 +33,6 @@ class PackageGarble:
 
             ext = os.path.splitext(file_name)[1]
             if ext == '.java':
-                comment = "// machine renamed: %s\n" % file_name
                 file_content = "%s%s" % (comment, file_content)
             with open(path, "wt") as fout:
                 fout.write(file_content)