prefs.put("GroupSeparator", String.valueOf(Constants.GROUP_SEPARATOR));
public boolean save() {	try	{		// save		prefs.put("GroupSeparator", String.valueOf(Constants.GROUP_SEPARATOR));		prefs.flush();		return true;	}	catch (BackingStoreException bse)	{		Console.getInstance().println("o) Failed to flush VisualDCT settings:");		Console.getInstance().println(bse);		return false;	}}