code: private String generateUniqueSessionName() {
  		String name;
  		do {
  			name = Constant.messages.getString("httpsessions.session.defaultName", lastGeneratedSessionID++);
  		} while (!isSessionNameUnique(name));
  
  		return name;
  	}
docs: Generates a unique session name.
  <p>
  The generated name is guaranteed to be unique compared to existing session names. If a
  generated name is already in use (happens if the user creates a session with a name that is
  equal to the ones generated) a new one will be generated until it's unique.
  <p>
  The generated session name is composed by the (internationalised) word "Session" appended
  with a space character and an (unique sequential) integer identifier. Each time the method is
  called the integer identifier is incremented, at least, by 1 unit.
  <p>
  Example session names generated:
  <p>
  
  <pre>
  Session 0
  Session 1
  Session 2
  </pre>
  
  @return the generated unique session name
  @see #lastGeneratedSessionID