@Override
  public @NotNull MessageBuilder withLocation(String filePath, int line, int column) {
    return withLocation(new Message.FilePosition(filePath, line, column));
  }
@Override
  public @NotNull MessageBuilder withLocation(String filePath, int line, int column)