Reverted patch for JS nashorn