code: private InputStream executeCommand(String cmd, Object ... args) throws IOException {
          try {
              return execute(cmd, args);
          } catch (AgentLoadException x) {
              throw new InternalError("Should not get here");
          }
      }
docs: /*
  Convenience method for simple commands