Как сменить провайдера java DNS

Question

Я создаю быстрый веб-сканер и мне нужно иметь многопоточное разрешение DNS, поэтому я выбрал многопоточного поставщика услуг DNS под названием dnsjava. К сожалению, я не могу понять, как заменить поставщика услуг DNS по умолчанию.

Я просмотрел файл README для dnsjava, но инструкции не очень понятны.

Замена стандартных функций Java DNS:

Начиная с Java 1.4, сервис-провайдеры могут загружаться во время выполнения. Чтобы загрузить поставщика услуг dnsjava, соберите его, как описано выше, и установите системное свойство:

sun.net.spi.nameservice.provider.1 = DNS, dnsjava

Это дает указание JVM использовать службу dnsjava для DNS с наивысшим приоритетом.

Есть несколько вещей, по которым мне неясно:

1. Где я могу разместить dnsjava.jar?
2. Где должно быть установлено системное свойство (программно или какое-то изменение файла)?

Я работаю на компьютере с Windows 7, и я не уверен, что мне нужно сделать, чтобы найти / изменить свойства системы... помогите!?

Обновить:
Понял: System.setProperty("sun.net.spi.nameservice.provider.1","dns,dnsjava");

Answer 1

Дикая догадка.

1. Поместите файл dnsjava.jar в путь к классу вашего приложения.
2. Установите системное свойство перед запуском основного метода в вашем приложении.