Fix eclipse preference

There are some minor preferences needed to be changed.