日本公開時に観てますが、間違いなく「ジュダイの復讐」でした。

原題も元々は「Revenge of the Jedi」だったそうです。公開直前に「Return of the Jedi」に変更されたようですが、日本ではそのまま「復讐」で公開されたそうです。