(A useless catch block removed)