<< Just an update of the occurrence: the customer changed the hardware
(server and workstations) and the problem did not come back again. One
another thing that was changed is that it used Vmware. Therefore, hardware
or Vmware was probably the responsible ones for the situation. >>
Thanks for the update. If you experience any other issues with this, just
let me know.