Server updates on 2011jun01 were successful

The departmental servers all appear to be working fine after the updates.