How many movies have John Kelly and Mairtín de Barra collaborated on?

They have not worked on any movies together...