I doubt they were making anywhere near the 19k BTC to cover the loss.
Its not a big problem there are other exchanges and more will be coming up. Unlike Gox which at some point held 80% of al the trades, Bitstamp was another exchange.