/**
  * Lists all files (or directories) in directory `dirname`. Only relative pathnames should be
  * used. The files are parameter files used in defining digital nets. For example, calling
  * `listDir("")` will give the list of the main data directory in SSJ, while calling
  * `listDir("Edel/OOA2")` will give the list of all files in directory `Edel/OOA2`.
  */
 public static String listDir(String dirname) throws IOException {
   return DigitalNetFromFile.listDir(dirname);
 }