Norman Maurer a0fcb72e5d Use jndi-dns to obtain default name servers ... Motivation: Using reflection to obtain the default name servers may fail in Java9 and also in previous Java versions if a SecurityManager is present. Modifications: Try using jndi-dns to obtain default name servers and only try using reflection if this fails. Result: Be able to detect default name servers in all cases. Fixes [#6347].		2017-04-19 12:24:06 +02:00
..
src	Use jndi-dns to obtain default name servers	2017-04-19 12:24:06 +02:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2017-03-10 07:46:17 +01:00