code: private void addCatchBlock(int start, int finish) {
          CatchInfo ci = new CatchInfo(start, finish);
          catchInfos.add(ci);
      }
docs: add a catch block info record for the catch block that is guessed to be in the range of start to finish
  
  @param start
  the handler pc
  @param finish
  the guessed end of the catch block