--- old/src/com/sun/javatest/exec/BasicSession.java	2018-06-19 01:09:47.000000000 +0100
+++ new/src/com/sun/javatest/exec/BasicSession.java	2018-06-19 01:09:47.000000000 +0100
@@ -299,7 +299,7 @@
         return filterNames;
     }
 
-    public void save(Map map) {
+    public void save(Map<String, String> map) {
         if (wd != null)
             map.put("workDir", wd.getPath());
         // save name of interview file