@Override
  protected Label readLabel(int offset, Label[] labels) {
    // attempt to workaround javac bug:
    // annotation table from original method is duplicated for synthetic bridge methods.
    // All offsets in the duplicated table is taken from original annotations table and obviously are not relevant for the bridge method
    if (offset >= 0 && offset < labels.length) {
      return super.readLabel(offset, labels);
    }
    else {
      return INVALID;
    }
  }
@Override
  protected Label readLabel(int offset, Label[] labels)