The title should pretty much sum it up. Obviously the problem does not happen very often and as such is difficult to reproduce, but it has now happened to me on two occasions in one month. I'll be happy to assist you in any way I can to fix it if somebody can do something about it. I'm proficient in C/C++ and good at Java so I may of some use.
Henrik