.catch template over exception types

[controlflow]

WebException.catch

=>

try {
  // $END$
}
catch (WebException $name$) {

}