docs: @Exported
      public int getTotalExecutors() {
          int r=0;
          for (Computer c : get_all()) {
              if(c.isOnline())
                  r += c.countExecutors();
          }
          return r;
      }