Merge "ART: Let JIT tasks finish under sanitization"