minor fix eclipse settings