Covenant not to sue is not discharged in bankruptcy