--- old/src/com/sun/javatest/tool/ColorPrefsPane.java	2018-06-19 01:10:14.000000000 +0100
+++ new/src/com/sun/javatest/tool/ColorPrefsPane.java	2018-06-19 01:10:14.000000000 +0100
@@ -117,7 +117,7 @@
                 return i18n.getString("colorprefs.name");
         }
 
-        public void save(Map m) {
+        public void save(Map<String, String> m) {
                 super.save(m);
                 Component[] components = inputColors.getComponents();
                 for(Component c: components) {