code: public void setDeprecated(boolean newDeprecated)
  	{
  		boolean oldDeprecated = deprecated;
  		deprecated = newDeprecated;
  		boolean oldDeprecatedESet = deprecatedESet;
  		deprecatedESet = true;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, TypesPackage.JVM_MEMBER__DEPRECATED, oldDeprecated, deprecated, !oldDeprecatedESet));
  	}
docs: <!-- begin-user-doc -->
  <!-- end-user-doc -->
  @generated