docs: void load() {
          String url = getUrl();
          if (url != null) {
              RunProxy proxy = new RunProxy(debugGui, RunProxy.LOAD_FILE);
              proxy.fileName = url;
              proxy.text = sourceInfo.source();
              new Thread(proxy).start();
          }
      }