Как изменить поставщика услуг DNS java

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

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

замена стандартного JAVA DNS функциональность:

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

солнце.сеть.спи.имя и фамилия.провайдер.1=dns, dnsjava

это указывает JVM использовать dnsjava сервис предоставляют для DNS на высший приоритет.

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

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

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

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