private StringBuffer prefixAsStringBuffer(int col){
  StringBuffer val=new StringBuffer();
  if (prefix != null && prefix.size() > 0) {
    for (int i=0; i < prefix.size(); i++) {
      String line=(String)prefix.elementAt(i);
      if (i != 0) {
        val.append(NSpaces(col));
      }
      val.append(line);
      if (i != prefix.size() - 1) {
        val.append("\n");
      }
    }
  }
  return val;
}

private StringBuffer prefixAsStringBuffer ( int col ) { StringBuffer val = new StringBuffer ( ) ; if ( prefix != null && prefix . size ( ) > 0 ) { for ( int i = 0 ; i < prefix . size ( ) ; i ++ ) { String line = ( String ) prefix . elementAt ( i ) ; if ( i != 0 ) { val . append ( NSpaces ( col ) ) ; } val . append ( line ) ; if ( i != prefix . size ( ) - 1 ) { val . append ( "\n" ) ; } } } return val ; }
returns the prefix as a stringbuffer , assuming it starts in column col . that is , all but the first line is indented with col spaces , and all but the last line is ended with a \ n .
