Faults: Eclipse input case use preferences to control import of faults