}
    private static void rotateAllLogs () {    int nloggers = loggers.size();    for (int i=nloggers-1; i>=0; i--) {        Logger log = (Logger) loggers.get (i);        try {            log.rotateLogFile ();        } catch (IOException io) {            System.err.println ("Error rotating log " + log.getCanonicalName() + ": " + io.toString ());        }    }    }