Fix Issue 12558 - Catch statement without an Exception specification should be disallowed. Stage 1: Make it a deprecation.