docs: public String readFile(String filename)
      {
          String path = m_fileSource.getParent();
          String string = Utility.transferURLStream("file:" + path + '/' + filename, null, null, null);
          if (string != null)
          {
              int start = string.indexOf("<repository");
              if (start != -1)
                  start = string.indexOf(">", start);
              int end = string.lastIndexOf("</repository>");
              if ((start != -1) && (end != -1))
                  string = string.substring(start + 1, end);
          }
          return string;
      }