public static String toString(char ch)
public String toString()
  public static String toString(char ch)  {    // This assumes that String.valueOf(char) can create a single-character    // String more efficiently than through the public API.    return String.valueOf(ch);  }