public Properties getAgentProperties() throws IOException {

  {- -------------------------------------------
  (1) (変数宣言など)
      ---------------------------------------- -}

            InputStream in = null;
            Properties props = new Properties();

  {- -------------------------------------------
  (1) executeCommand() を呼び出し, 
      HotSpot に "agentProperties" 処理を実行させる.

      (なお, HotSpot との通信用 InputStream は呼び出し後に閉じる)
      ---------------------------------------- -}

            try {
                in = executeCommand("agentProperties");
                props.load(in);
            } finally {
                if (in != null) in.close();
            }

  {- -------------------------------------------
  (1) 結果をリターン
      ---------------------------------------- -}

            return props;
        }