Jintplugin changes vs upstream

This PR is for tracking changes vs. Jint upstream.