public XMLElement saveSelf () throws XMLCannotSaveException { XMLElement result=super.saveSelf(); result.setName(shortXMLName); result.addAttribute(new XMLAttribute ("random-chance",random_chance)); result.addAttribute(new XMLAttribute ("gamma",gamma)); return result; }