The pro only theme appears only in the themes subdirectory, not in the themes.jar that is found in gui/lib. Was that file forgotten to update?

By the way, why is that info duplicated in the cvs tree? As one can see, it can go out of sync. If it were only once in cvs, it could not go out of sync.