--- old/src/com/sun/javatest/exec/ET_DefaultViewControl.java	2018-06-19 01:09:53.000000000 +0100
+++ new/src/com/sun/javatest/exec/ET_DefaultViewControl.java	2018-06-19 01:09:53.000000000 +0100
@@ -100,11 +100,11 @@
         }
     }
 
-    public void save(Map m) {
+    public void save(Map<String, String> m) {
         // nothing to save
     }
 
-    public void restore(Map m) {
+    public void restore(Map<String, String> m) {
         // nothing to restore
     }