eclipse refresh settings definiert