existingOption.setValue( optionsInfo.getValue() );
existingOption.value = optionsInfo.getValue();
	public void readStream( MessageBuffer messageBuffer ) {		/*		 * List of (String,String)	The list of options with their current value		 * 		 */		short listElem = messageBuffer.readInt16();				for ( int i = 0; i < ( listElem ); i++ ) {						OptionsInfo optionsInfo = new OptionsInfo( this.parent );			optionsInfo.readStream( messageBuffer );			/*now we must take care, wether the option already exists, so that we don't			 * overwrite this option*/			if ( !this.infoMap.contains( optionsInfo.getKey() ) )				this.infoMap.put( optionsInfo.getKey(), optionsInfo );			else {				/*get the already existing option and change the values:*/				OptionsInfo existingOption = ( OptionsInfo ) this.infoMap.get( optionsInfo.getKey() );				existingOption.setValue( optionsInfo.getValue() );			}		}		this.setChanged();		this.notifyObservers( this );	}