Quoted from underlord:Star Wars 7 comes out summer 2015. Stern pinball will have multiple lines going at the new factory location, which means multiple titles will be available for release during the calendar year.
Think outside the 'one at a time' box now. Star Wars is a probability, and so is Jaws, and so is Iron Maiden. Unless David @ stern wants just two titles released to maximize sales.
Just to clarify the Release Date for Star Wars VII is Dec. 18, 2015 in the US.