@@ -93,14 +93,14 @@ public JMenuBar getMenuBar() { return menuBar; } @Override - protected void restore(Map map) { + protected void restore(Map<String, String> map) { } - protected void save(Map m) { + protected void save(Map<String, String> m) { } private void initGUI(){ int dpi = uif.getDotsPerInch(); setPreferredSize(new Dimension(6 * dpi, 4 * dpi));