Files in common/ of f3de07d7234378c3

Files in directory /common of check-in f3de07d7234378c3