113114115116117118119120121122123
} if(msg==null) { msg = e.toString(); } throw new SVNException("Checkout error; " + msg); } finally { OperationManager.getInstance().endOperation(); }