. . . "Tense negotiations went on for weeks, and ended on October 26 with a collective bargaining agreement that provides paid vacation and sick leave, wage increases, seniority, and other benefits.]" . .