public static List searchAllModules(String searchstring, String searchinstanceP, String searchconceptP, String searchrelationP, String casesensitiveP) {
    { Module rootmodule = Stella.$ROOT_MODULE$;
      List allmodules = GuiServer.collectAllModules(rootmodule, List.newList());
      List result = List.newList();

      { Module module = null;
        Cons iter000 = allmodules.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          module = ((Module)(iter000.value));
          result.concatenate(GuiServer.searchModule(module.moduleName, searchstring, searchinstanceP, searchconceptP, searchrelationP, casesensitiveP), Stella.NIL);
        }
      }
      return (result);
    }
  }