}
}
private void saveMenuPreferencesChildren(CheckNode root, SwingGUI gui){
for(int i=0; i!=root.getChildCount(); i++){
CheckNode node = (CheckNode)root.getChildAt(i);
String value = ((String)reverseMessage.get(node.getText()));
if(node.isSelected()){
properties.setValue(value, "true");
gui.alterProperty(value, true);
}else{
properties.setValue(value, "false");
gui.alterProperty(value, false);
}
if(node.getChildCount()>0){
saveMenuPreferencesChildren(node, gui);
}
}
}