--- old/src/com/sun/javatest/exec/ET_Control.java	2018-06-19 01:09:52.000000000 +0100
+++ new/src/com/sun/javatest/exec/ET_Control.java	2018-06-19 01:09:52.000000000 +0100
@@ -47,12 +47,12 @@
     /**
      * Saves current state to the map
      */
-    public void save(Map m);
+    public void save(Map<String, String> m);
 
     /**
      * Restores saved state from the map
      */
-    public void restore(Map m);
+    public void restore(Map<String, String> m);
 
     /**
      * Returts menu to be added to the menu mar