public void catchException(final Label start, final Label end,
			final Type exception) {
		if (exception == null) {
			mv.visitTryCatchBlock(start, end, mark(), null);
		} else {
			mv.visitTryCatchBlock(start, end, mark(),
					exception.getInternalName());
		}
	}