Update LineNumberList.h