Migrating HttpProtocol to Seq[String]