@Nullable
  @Deprecated(forRemoval = true)
  default OpenFileDescriptor getOpenFileDescriptor(int offset) {
    LineCol position = LineCol.fromOffset(getDocument(), offset);
    return ObjectUtils.tryCast(getNavigatable(position), OpenFileDescriptor.class);
  }
@Nullable
  @Deprecated(forRemoval = true)
  default OpenFileDescriptor getOpenFileDescriptor(int offset)