public final void visitTryCatchBlock(final Label start, final Label end,
			final Label handler, final String type) {
		AttributesImpl attrs = new AttributesImpl();
		attrs.addAttribute("", "start", "start", "", getLabel(start));
		attrs.addAttribute("", "end", "end", "", getLabel(end));
		attrs.addAttribute("", "handler", "handler", "", getLabel(handler));
		if (type != null) {
			attrs.addAttribute("", "type", "type", "", type);
		}
		addElement("TryCatch", attrs);
	}