code: @Override
  	public void addInclude(String path)
  	{
  		if (!includes.contains(path))
  		{
  			includes.add(path);
  		}
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.plugins.latex.utility.PdfBuilder#addInclude(java.lang.String)