private function writeStringTable(&$buffer)
 {
     if (count($this->tokenList) > 0) {
         $buffer .= ',';
     }
     $buffer .= '[';
     for ($i = 0, $c = count($this->stringTable); $i < $c; ++$i) {
         if ($i > 0) {
             $buffer .= ',';
         }
         $buffer .= ServerSerializationStreamWriter::escapeString($this->stringTable[$i]);
     }
     $buffer .= ']';
 }