docs: @Override
  	public void writeStatement(Statement oldStat)
  	{
  		if (null == oldStat)
  		{
  			System.err.println("java.lang.Exception: XMLEncoder: discarding statement null");
  			System.err.println("Continuing...");
  			return;
  		}
  
  		// record how the object is changed
  		recordStatement(oldStat);
  		super.writeStatement(oldStat);
  	}