There must always be one, following the last catch{} block.

There can be zero or one immediately after each catch{} block.

There can be zero or one, following the last catch{} block.

There can be any number, following the last catch{} block.