I thought “Sword of Gideon” told the story much better.
https://www.imdb.com/title/tt0092038/
So did I.
Yep, Spielberg totally ripped off “Sword of Gideon.”