Fixed/improved email provider

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

@@ -215,7 +215,7 @@ public class EmailProvider {
         // https://wiki.mozilla.org/Thunderbird:Autoconfiguration
         HttpURLConnection request;
         try {
-            URL url = new URL(" https://autoconfig." + domain + "/mail/config-v1.1.xml?emailaddress=someone@" + domain);
+            URL url = new URL("https://autoconfig." + domain + "/mail/config-v1.1.xml?emailaddress=someone@" + domain);
             Log.i("Fetching " + url);
 
             request = (HttpURLConnection) url.openConnection();
@@ -252,6 +252,7 @@ public class EmailProvider {
             }
         }
 
+        try {
             // https://developer.android.com/reference/org/xmlpull/v1/XmlPullParser
             XmlPullParserFactory factory = XmlPullParserFactory.newInstance();
             XmlPullParser xml = factory.newPullParser();
@@ -407,8 +408,9 @@ public class EmailProvider {
 
                 eventType = xml.next();
             }
-
+        } finally {
             request.disconnect();
+        }
 
         Log.i("imap=" + provider.imap.host + ":" + provider.imap.port + ":" + provider.imap.starttls);
         Log.i("smtp=" + provider.smtp.host + ":" + provider.smtp.port + ":" + provider.smtp.starttls);