Bug corrections and Eclipse preferences