Fixed catch block syntax when throws-clausel is empty