Here is the thread on cc. They were confused but eventually reached the conclusion that a jacket is all that is required in the main restaurant.
(Hope the link works)
http://boards.cruisecritic.com/showthread.php?t=1240032

Merril