if (pattern.indexOf("%u") < 0)
if (!has (pattern, 'u'))
  private static java.io.OutputStream createFileStream(String pattern,						       int limit,						       int count,						       boolean append,						       int generation)  {    String  path;    int     unique = 0;    /* Throws a SecurityException if the caller does not have     * LoggingPermission("control").     */    LogManager.getLogManager().checkAccess();    /* Default value from the java.util.logging.FileHandler.pattern     * LogManager configuration property.     */    if (pattern == null)      pattern = LogManager.getLogManager().getProperty(                              "java.util.logging.FileHandler.pattern");    if (pattern == null)      pattern = "%h/java%u.log";    do    {      path = replaceFileNameEscapes(pattern, generation, unique, count);      try      {	File file = new File(path);	if (file.createNewFile())	  return new FileOutputStream(path, append);      }      catch (Exception ex)      {	ex.printStackTrace();	      }      unique = unique + 1;      if (pattern.indexOf("%u") < 0)        pattern = pattern + ".%u";    }    while (true);  }