Debtor alleged a violation of the discharge injunction in connection with creditor's state-court recovery of property. Creditor was entitled to summary judgment on Rooker/Feldman grounds and because no willful violation of § 524 was shown.