code: private static /*@pure@*/ String fixStringLength(String inString, int length,
  					boolean right) {
  
      if (inString.length() < length) {
        while (inString.length() < length) {
  	inString = (right ? inString.concat(" ") : " ".concat(inString));
        }
      } else if (inString.length() > length) {
        inString = inString.substring(0, length);
      }
      return inString;
    }
docs: Pads a string to a specified length, inserting spaces as
  required. If the string is too long, characters are removed (from
  the right).
  
  @param inString the input string
  @param length the desired length of the output string
  @param right true if inserted spaces should be added to the right
  @return the output string