/** * Erzeugt einen neuen String mit einer vorgegebenen * Länge und gefüllt mit dem Zeichen fill */ public static String create(int len, char fill) { char []buf = new char[len]; for (int i=0; i