--- old/test/jdk/java/net/URLEncoder/URLEncoderEncodeArgs.java	2017-12-11 11:59:52.166424618 -0800
+++ new/test/jdk/java/net/URLEncoder/URLEncoderEncodeArgs.java	2017-12-11 11:59:51.930412801 -0800
@@ -32,7 +32,7 @@
 public class URLEncoderEncodeArgs {
     public static void main (String[] args) {
         try {
-            String s1 = URLEncoder.encode ("Hello World", null);
+            String s1 = URLEncoder.encode ("Hello World", (String)null);
         } catch (UnsupportedEncodingException e) {
             throw new RuntimeException ("NPE should have been thrown");
         } catch (NullPointerException e) {