Minor changes in Eclipse settings