code: public void closeElement(String elementName) throws IOException {
  		assert(elementNames.size() > 0);
  		assert(elementNames.get(elementNames.size() - 1).equals(elementName));
  		if(indent || noTextElement)
  		indent();		
  		writer.write("</");		
  		writer.write(elementName);
  		writer.write(">\n");		
  		removeElementName(elementName);
  	}
docs: Writes </elementName>\n'.