With USPTO Re-Exam Over, ExonHit and Jivan Likely to Resume Splice-Array Litigation