Hi,
I've made this change now and had Eclipse open for a couple of hours, so far it is stable, so it looks like this indeed fixes it.
Thanks for the quick reply!
Hi,
I've made this change now and had Eclipse open for a couple of hours, so far it is stable, so it looks like this indeed fixes it.
Thanks for the quick reply!