Included patch in JmDNS provided by @jlai in #129

Due to this change, we are using a patched version of the trunk for JmDNS rather than any officially released jar.