Oh, I know what's going on. We set the value in memory, but do not save the value to disk. The information for the bug reports is read from disk, so some values may be a little stale. (The properties aren't too important anyway, what's most important is the stuff under 'session information' and 'thread count'.)