NUCACCECLIPSE-11
Fixed a small bug causing the state of the new check-box "Use file list
file" to be wrong in the property page (preference page worked fine).