@@ -22,10 +22,11 @@ */ /** * @test * @bug 4512200 + * @modules java.base/sun.net.www * @run main/othervm -Dhttp.agent=foo UserAgent * @summary HTTP header "User-Agent" format incorrect */ import java.io.*;