Better DNS lookup

app/src/main/java/eu/faircode/email/EmailProvider.java

@@ -429,13 +429,14 @@ public class EmailProvider {
         Lookup lookup = new Lookup(dns, Type.SRV);
 
         // https://dns.watch/ 84.200.69.80
-        SimpleResolver resolver = new SimpleResolver("8.8.8.8");
+        SimpleResolver resolver = new SimpleResolver(Helper.DEFAULT_DNS);
         lookup.setResolver(resolver);
         Log.i("Lookup dns=" + dns + " @" + resolver.getAddress());
         Record[] records = lookup.run();
 
         if (lookup.getResult() != Lookup.SUCCESSFUL)
-            if (lookup.getResult() == Lookup.HOST_NOT_FOUND)
+            if (lookup.getResult() == Lookup.HOST_NOT_FOUND ||
+                    lookup.getResult() == Lookup.TYPE_NOT_FOUND)
                 throw new UnknownHostException(dns);
             else
                 throw new IllegalArgumentException(lookup.getErrorString());

app/src/main/java/eu/faircode/email/Helper.java

@@ -114,6 +114,8 @@ public class Helper {
 
     static final float LOW_LIGHT = 0.6f;
 
+    static final String DEFAULT_DNS = "8.8.8.8";
+
     static final String FAQ_URI = "https://github.com/M66B/FairEmail/blob/master/FAQ.md";
     static final String XDA_URI = "https://forum.xda-developers.com/android/apps-games/source-email-t3824168";