Note: Patch PE71-0602100 for the Windows platform has been superseded
      by patch PE71-0602284.