public static String whitespace(int n){
  if (n < WHITESPACE_BUFFER_LENGTH) {
    return WHITESPACE_BUFFER.substring(0,n);
  }
  char[] buf=new char[n];
  for (int i=0; i < n; i++) {
    buf[i]=WHITESPACE_BUFFER.charAt(0);
  }
  return new String(buf);
}

public static String whitespace ( int n ) { if ( n < WHITESPACE_BUFFER_LENGTH ) { return WHITESPACE_BUFFER . substring ( 0 , n ) ; } char [ ] buf = new char [ n ] ; for ( int i = 0 ; i < n ; i ++ ) { buf [ i ] = WHITESPACE_BUFFER . charAt ( 0 ) ; } return new String ( buf ) ; }
returns a string with the specified number of whitespace .
