loader.load(this, statsOverlay);
}
}
public XMLElement saveSelf() throws XMLCannotSaveException
{ XMLElement result = super.saveSelf();
/* This code is buggy
result.addAttribute(new XMLAttribute("saved-by", "simulator"));
result.addAttribute(new XMLAttribute("tlc-category",
menuBar.getTLCMenu().getCategory()));
result.addAttribute(new XMLAttribute("tlc-number",