Every possible title for VII, VIII and IX had been thought up by someone at some point.
Wasn’t there a no-budget fan film made prior to October of 2014 called Star Wars: The Force Awakens? Wasn’t there an actual Star Wars novel (Legends now, I think) titled The Last Jedi?