docs: 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;
    }