code: public static void post(OpcodeStack stack, int opcode) {
          if (!sawGOTO || (opcode == Const.GOTO) || (opcode == Const.GOTO_W)) {
              return;
          }
          int depth = stack.getStackDepth();
          for (int i = 0; i < depth && i < userValues.size(); i++) {
              OpcodeStack.Item item = stack.getStackItem(i);
              if (item.getUserValue() == null) {
                  item.setUserValue(userValues.get(i));
              }
          }
  
          userValues.clear();
          sawGOTO = false;
      }
docs: called after the execution of the parent OpcodeStack.sawOpcode, to restore the user values after the GOTO or GOTO_W's mergeJumps were processed
  
  @param stack
  the OpcodeStack with the items containing user values
  @param opcode
  the opcode currently seen