eclipses and quickfix