code: public void setBuilder(Release languageVersion) throws CoreException
  	{
  		addBuilder(getProject(), ICoreConstants.BUILDER_ID, LANGUAGE_VERSION_ARGUMENT_KEY, languageVersion.toString());
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.utility.IVdmProject1#setBuilder(org.overture.vdmj .Release)