I received a beta Version after I was willing to take part in the testing, see my mail from 25-12-2012. It works fine for me, no more crashes due to this problem, very seldom and randomly other minor problems.
But I am myself really astonished that this bugfix did not lead to a publicly available new version of Vmware 5.02.
Greetings from Bavaria
Joachim Neudert