If a debt has been established by judgment against the deceased in his lifetime, the judgment, if the proceeds of the personal property are not sufficient to satisfy it, may, in the discretion of the court, be either satisfied from the proceeds of the sale of the property by the executor or administrator upon which it is a lien, or enforced by execution against such property. The sale by the executor or administrator discharges the property from the lien of the judgment but the lien attaches to the proceeds thereof, after deduction of the expenses of sale.