Comment 103 for bug 1266004

I am closing this as NOT_ECLIPSE because a fix is provided in recent versions of Webkit and with the updated version in Ubuntu 14.04, the crash doesn't happen. Also, I patched the package in 13.10 in a way to backport the fix which was believed to address the issue and I could not reproduce the crash in months of use. The patch is available on launchpad if the Ubuntu team wants to fix it in previous Ubuntu releases (or if a user wants to patch it locally), see https://bugs.launchpad.net/ubuntu/+source/webkit/+bug/1160411