m_language[0] = w.elementText(m_dict.getLanguageNames()[0]); m_language[1] = w.elementText(m_dict.getLanguageNames()[1]);
int rev; rev = Integer.parseInt(w.attributeValue("rev", "1")); if(rev == 1) { m_language[0] = w.elementText(m_dict.getLanguageNames()[0]); m_language[1] = w.elementText(m_dict.getLanguageNames()[1]); } else { m_language[0] = w.elementText("language0"); m_language[1] = w.elementText("language1"); }
	private void read(Element w)	{		m_language[0] = w.elementText(m_dict.getLanguageNames()[0]);		m_language[1] = w.elementText(m_dict.getLanguageNames()[1]);		if(w.element("stats") != null)			m_lastStat = new Stat((Element)w.element("stats").elements().get(0));	}