Of course they're not, but at this point, it's not going to do anymore damage than all this speculation already has. The damage is already done. If everybody's minds are made up in regards to Ben's future as Batman, who cares if they go ahead and make it official before JL comes out? It's not like it's going to hurt ticket sales or damage hype for the movie. What's going to happen? Confirm what many people have already been saying since February?