--- old/src/com/sun/javatest/exec/ET_DefaultHelpControl.java	2018-06-19 01:09:52.000000000 +0100
+++ new/src/com/sun/javatest/exec/ET_DefaultHelpControl.java	2018-06-19 01:09:52.000000000 +0100
@@ -63,13 +63,13 @@
     /**
      * Does nothing
      */
-    public void save(Map m) {
+    public void save(Map<String, String> m) {
     }
 
     /**
      * Does nothing
      */
-    public void restore(Map m) {
+    public void restore(Map<String, String> m) {
     }
 
     /**