Some tree nodes were duplicated when clicking on the next error / warning / info