public static Cons javaListDirectoryFiles(String directory) {
    { Cons files = Stella.NIL;

        java.io.File[] dirfiles = new java.io.File(directory).listFiles();
         String filename = null;
         String dirsep = Stella.directorySeparatorString();
         for (int i = dirfiles.length-1; i >= 0; i--) {
             filename = dirfiles[i].getName();
             files = Cons.cons(StringWrapper.wrapString(filename), files);
         }
;
      return (files);
    }
  }