// print command line flag

    public InputStream printFlag(String name) throws IOException {

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

            return executeCommand("printflag", name);
        }