lars
committed
on 27 Sep 02
Fixed user version cache not flushed problem