docs: public String[] getFileList()
      {
          String[] files = null;
          String strFilename = this.getProperty("filename");
          if (strFilename != null)
          {
              files = new String[1];
              files[0] = strFilename;
          }
          String strDirname = this.getProperty("folder");
          if (strDirname != null)
          {
              FileList list = new FileList(strDirname);
              files = list.getFileNames();
              if (!strDirname.endsWith("/"))
                  strDirname += "/";
              for (int i = 0; i < files.length; i++)
              {
                  files[i] = strDirname + files[i];   // Full pathname
              }
          }
          return files;
      }