Fix eclipse setting failures