code: protected String fillUp(String s, int len) {
      while (s.length() < len)
        s += " ";
      return s;
    }
docs: appends blanks to the string if its shorter than <code>len</code>.
  
  @param s		the string to pad
  @param len	the minimum length for the string to have
  @return		the padded string