Dupe.

Removed duplicate file accidentally committed in last revision.