Is the type of the exception object always the same as the type declared in the catch clause that catches it? if not, why not?.