code: @Function
      public static boolean verifyMIC(GSSContext context, MessageProp prop, byte[] message, byte[] mic) {
          try {
              context.verifyMIC(mic, 0, mic.length,
                      message, 0, message.length,
                      prop);
  
              return true;
          } catch (GSSException ex) {
              throw new RuntimeException("Exception verifying mic", ex);
          }
      }
docs: Verify a message integrity check sent by a peer.  If the MIC correctly identifies the
  message then the peer knows that the remote peer correctly received the message.
  @param context GSSContext for which a connection has been established to the remote peer
  @param prop the MessageProp that was used to wrap the original message
  @param message the bytes of the original message
  @param mic the bytes received from the remote peer that represent the MIC (like a checksum)
  @return a boolean whether or not the MIC was correctly verified