Adding Jedi Memory Manager to webkit.