22  */

    22  */

    23 

    23 

    24 /**

    24 /**

    25  * @test

    25  * @test

    26  * @bug 4512200

    26  * @bug 4512200

    27  * @run main/othervm -Dhttp.agent=foo UserAgent

    28  * @run main/othervm -Dhttp.agent=foo UserAgent

    28  * @summary  HTTP header "User-Agent" format incorrect

    29  * @summary  HTTP header "User-Agent" format incorrect

    29  */

    30  */

    30 

    31 

    31 import java.io.*;

    32 import java.io.*;