Quoted from Strange:I prefer original themes far more than licensed ones. JPop is a master of originality. I was actually not very excited when I heard he was doing Alice in Wonderland.
Alice's Adventures in Wonderland is in the public domain. Disney does not own the copyrights to the story itself and neither is Jpop basing his version on the film so no licencing needed. So technically it is an original theme for a pinball.
Personally, if he did do a licencing deal, I think licencing the, "Amercan McGee's Alice," video game and basing the artwork on it's visual style would be super epic.