/*
     * Convenience method for simple commands
     */

    private InputStream executeCommand(String cmd, Object ... args) throws IOException {

  {- -------------------------------------------
  (1) execute() (を各サブクラスがオーバーライドしたもの) を呼び出し, 
      cmd 引数で指定された処理を HotSpot に実行させる.

      (なお, execute() が AgentLoadException エラーを起こした場合は InternalError をスローする)
      ---------------------------------------- -}

            try {
                return execute(cmd, args);
            } catch (AgentLoadException x) {
                throw new InternalError("Should not get here");
            }
        }