Revert "Deleting copyrighted file."

This reverts commit bb42db59b5fc1ff4d0cf7b6fa18f412daea801b0.