Hi
Thanks Erel, using the secondary builder works (sorry, I was unaware it existed - obviously need to read through the manual again).
Question, do we only use the secondary builder if necessary and switch back the primary builder ASAP. Or is it ok to leave the IDE one and only switch to the other when it develops a problem.
The secondary builder is not really secondary. There are currently two builders and they are the same. Each user is assigned a default builder. The secondary builder option just switches to the second one.
There is no problem with keeping this option checked.