eclipse preference changes