log.fine("Session renamed to "+newID);
log.fine("Session renamed to "+session.getID());
    protected void renameSession(Session session)    throws SessionException {        log.finer("renameSession(String)");                // Generate a new session ID.        String oldID = session.getID();        session.setID(generateSessionID());                // Remove old session.        sessions.remove(oldID);        sessions.put(newID, session);                log.fine("Session renamed to "+newID);    }