Fixed: use different menu IDs for File->Open->Open workspace and Workspace->Open workspace
Otherwise, there could be a case where 1 menu entry is disabled while the second is enabled