code: private void write(final int val)
  		throws EncodingException
  	{
  
  		if (val < 0 || val > 255) {
  			throw ErrorFactory.createEncodingException(
  					ErrorKeys.DIFFTOOL_ENCODING_VALUE_OUT_OF_RANGE,
  					"byte value out of range: " + val);
  		}
  
  		this.stream.write(val);
  	}
docs: Writes a byte to the buffer.
  
  @param val
  an integer representing a full byte
  
  @throws EncodingException
  if the value is out range