Make the copy assignment operator of Exception class exception safe