public static PLModuleFileList serverGetLoadableKbs() {
    { Cons filedescriptions = GuiServer.loadIndexFile();
      PLModuleFileList result = PLModuleFileList.new_PLModuleFileList();
      List plfiles = List.newList();

      { Cons desc = null;
        Cons iter000 = filedescriptions;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          desc = ((Cons)(iter000.value));
          plfiles.insert(GuiServer.makePlFile(desc));
        }
      }
      result.PLModuleFile = plfiles;
      return (result);
    }
  }