In fact notch has stated several times that he would open source it when it stopped being profitable. But I guess a 2.5 billion buyout rules out unprofitability.