Merge "Fix very rare bug around JIT code cache collection."