Since Region doesn't have a virtual destructor, calling delete will not properly clean up all of the state of the Region. We should call destroy() instead.
Created attachment 197907 [details] Patch
Committed r148314: <http://trac.webkit.org/changeset/148314>
<rdar://problem/13260356>