docs: @Requires("kind != null")
    ClassContractHandle getClassHandle(ContractKind kind) {
      ArrayList<ClassContractHandle> matched =
          new ArrayList<ClassContractHandle>();
      for (ClassContractHandle h : classHandles) {
        if (kind.equals(h.getKind())) {
          return h;
        }
      }
      return null;
    }