public String toString(){
  CharArrayBuffer buffer=new CharArrayBuffer(16);
  buffer.append(this.protocol);
  buffer.append('/');
  buffer.append(Integer.toString(this.major));
  buffer.append('.');
  buffer.append(Integer.toString(this.minor));
  return buffer.toString();
}

public String toString ( ) { CharArrayBuffer buffer = new CharArrayBuffer ( 16 ) ; buffer . append ( this . protocol ) ; buffer . append ( '/' ) ; buffer . append ( Integer . toString ( this . major ) ) ; buffer . append ( '.' ) ; buffer . append ( Integer . toString ( this . minor ) ) ; return buffer . toString ( ) ; }
converts this protocol version to a string .
