rem: result->setProtocol( "https" );
add: result->setProtocol( "webdavs" );
context: KURL* toDAV( const KURL* url ) {  KURL* result = new KURL( *url );  if ( result->protocol() == "http" )     result->setProtocol( "webdav" );  else if (  result->protocol() = "https" )     result->setProtocol( "https" );  return result;}