docs: 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());
          }
      }