private function quoteApplicationVersion($s)
{
$quotedString = preg_replace('/ {2,}|\\s/', ' ', $s);
$quotedString = preg_replace('/\\\\/', '\\\\\\\\', $quotedString);
$quotedString = preg_replace('/\\(/', '\\(', $quotedString);
return $quotedString;
}