On 16.05.2011 VirtualBox 4.0.8 has been released. According to release notes this is a maintenance release. Reproducible: Always
In CVS. Thanks for reporting.