public void openCloseElement(String elementName) throws IOException {
		assert(elementNames.size() > 0);
		assert(elementNames.get(elementNames.size() - 1).equals(elementName));
		writer.write("/>\n");		
		removeElementName(elementName);
	}
public void openCloseElement ( String elementName ) throws IOException { assert ( elementNames . size ( ) > 0 ) ; assert ( elementNames . get ( elementNames . size ( ) - 1 ) . equals ( elementName ) ) ; writer . write ( "/>\n" ) ; removeElementName ( elementName ) ; }
Writes '/>\n'.