How many movies have John Williams and Juan Estelrich Revesz collaborated on?

They have worked on 1 movie together! Their first movie together was Empire of the Sun (1987) and was their highest rated movie together. They have not worked together since Empire of the Sun (1987).