Add a eclipse.runtime.disableTimeout() function.