Removing exception specifications