docs: public static String getRandomString(Random rnd, int minLength, int maxLength) {
  		int len = rnd.nextInt(maxLength - minLength + 1) + minLength;
  
  		char[] data = new char[len];
  		for (int i = 0; i < data.length; i++) {
  			data[i] = (char) (rnd.nextInt(0x7fff) + 1);
  		}
  		return new String(data);
  	}