code: public void setSuppressWarnings(Boolean value) throws CoreException
  	{
  		addBuilder(getProject(), ICoreConstants.BUILDER_ID, SUPRESS_WARNINGS_ARGUMENT_KEY, value.toString());
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.utility.IVdmProject1#setSuppressWarnings(java.lang.Boolean )