Heres my take on this:
SE Star Wars = 125 min
SE Empire = 124 min
SE Jedi = 138 min
New DVD set lists 387 min on the back for all three which equals the total of the original SE's. Lets hope they show up on the bonus disc somewhere, or a an easter egg. Otherwise we'll have to wait for the difinitive versions in a few years and hope they show up there.