Re: [squirrelfish] JavaScriptCore renames