Bug fix

Fixed a bug in which the time-out was not written to the profile file
and hence was not retrieved between runs. Also, cleaned up some of the
GUI code in the FaultInjectionController