code: public Release getLanguageVersion() throws CoreException
  	{
  		if (!hasBuilder())
  			return Release.DEFAULT;
  		else
  		{
  			Object languageVersion = getBuilderArguemnt(LANGUAGE_VERSION_ARGUMENT_KEY);
  			if (languageVersion != null
  					&& Release.lookup(languageVersion.toString()) != null)
  				return Release.lookup(languageVersion.toString());
  
  		}
  		return Release.DEFAULT;
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.utility.IVdmProject1#getLanguageVersion()