Speculation Bug: Auto-build is disabled non-deterministically

[GoogleCodeExporter]

Sometimes (I guess when speculative analysis is interrupted or it throws an 
exception), the auto-build option of Eclipse is not re-activated.

The current algorithm normally reads the auto-build value (stores whether it 
was activated or not), disables it, does the speculative analysis and sets the 
previously read value. For some reason, from time to time the resetting at the 
end is missed and this creates a chain where auto-build is never activated 
again (since it is read as false in the next turn).

Original issue reported on code.google.com by [email protected] on 31 Jan 2012 at 5:25