docs: public void setJarFile(IPath jarFile) {
  		if (!Objects.equal(jarFile, this.jarFile)) {
  			final PropertyChangeEvent event = new PropertyChangeEvent(this, ISREInstallChangedListener.PROPERTY_JAR_FILE,
  					this.jarFile, jarFile);
  			this.jarFile = jarFile;
  			setDirty(true);
  			if (getNotify()) {
  				SARLRuntime.fireSREChanged(event);
  			}
  		}
  	}