code: public static String repeat(char source, int times) {
          dbc.precondition(times > -1, "times must be non negative");
          final char[] array = new char[times];
          Arrays.fill(array, source);
          return new String(array);
      }
docs: Creates a String by repeating the source char.
  
  @param source the source char
  @param times times the source char will be repeated
  @return the resulting string