eclipse: stop creating quadratically many error markers