JSContext: lifetime management in dot