@Deprecated(forRemoval = true)
  default @NotNull Collection<String> getOptions(@NotNull JavaCompilingTool tool) {
    return Collections.emptyList();
  }
@Deprecated(forRemoval = true)
  default @NotNull Collection<String> getOptions(@NotNull JavaCompilingTool tool)