When did John L. Pollock die?

John L. Pollock died in 2009.