docs: public static void loadPropertiesFromURL(URL url) {
          if (url == null) {
              return;
          }
          InputStream in = null;
          try {
              in = url.openStream();
              properties.load(in);
          } catch (IOException e) {
              AnalysisContext.logError("Unable to load properties from " + url, e);
          } finally {
              IO.close(in);
          }
      }