/**
    * Pads the string out to the given length by applying blanks on
the left.
    *
    * @param s
    *        String to be padded/chopped.
    * @param newLen
    *        length of new String desired.
    * @param chop
    *        true if Strings longer than newLen should be truncated
to newLen
    *        chars.
    * @return String padded on left/chopped to the desired length.
    */
   public final static String leftPad ( String s, int newLen, boolean
chop )
       {
       int grow = newLen - s.length();
       if ( grow <= 0 )
           {
           if ( chop )
               {
               return s.substring( 0, newLen );
               }
           else
               {
               return s;
               }
           }
       else if ( grow <= 30 )
           {
           return "                              ".substring( 0, grow
) + s;
           }
       else
           {
           return rep( ' ', grow ) + s;
           }
       } // end leftPad

 /**
    * Produce a String of a given repeating character.
    *
    * @param c
    *        the character to repeat
    * @param count
    *        the number of times to repeat
    * @return String, e.g. rep('*',4) returns "****"
    */
   public final static String rep ( char c, int count )
       {
       char[] s = new char[ count ];
       for ( int i = 0; i < count; i++ )
           {
           s[ i ] = c;
           }
       return new String( s ).intern();
       } // end rep