@@ -115,11 +115,11 @@ @Override public String getText() { 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) { if(c instanceof JButton) { JButton b = (JButton) c;