Legal fight over 'Okeechobee Business District' over