docs: public void writeStatement(Statement oldStat)
  	{
  		if (oldStat == null)
  		{
  			throw new NullPointerException();
  		}
  		Statement newStat = createNewStatement(oldStat);
  		try
  		{
  			// execute newStat
  			newStat.execute();
  		}
  		catch (Exception e)
  		{
  			listener.exceptionThrown(new Exception("failed to write statement: " + oldStat, e)); //$NON-NLS-1$
  		}
  	}