public int compareTo( HTTPHeaderLine element ) {

	int cmp = this.getKey().compareTo(element.getKey());
	if( cmp != 0 )
	    return cmp;

	// Warning: the value might be null!
	if( this.getValue() == null )
	    return -1;
	else if( element.getValue() == null )
	    return 1;
	else
	    return this.getValue().compareTo(element.getValue());
					 
    }