Heilemann said:
Why would Lucasfilm try to cover up 'Revenge of the Jedi'? They never have before...
They can't. There's too much merchandise that came out with the original title.
But for obvious reasons, they would want to downplay Lucas coming up with the title and thinking it was a good idea to begin with.