docs: public void readXML(File file) throws IOException, DocumentException {
          project.setCurrentWorkingDirectory(file.getParentFile());
          dataSource = file.getAbsolutePath();
          InputStream in = progessMonitoredInputStream(file, "Loading analysis");
          try {
              readXML(in, file);
          } catch (IOException e) {
              throw newIOException(file, e);
          } catch (DocumentException e) {
              throw new DocumentException("Failing reading " + file, e);
          }
      }