Developers’ right to terminate off plan sales to defaulting buyers. No court order needed.