Agreement marks end of several years of legal disputes between Denver Water and Boulder County over the disruptive nature of Gross Reservoir construction.