* Finds the session of the given ID.
*
* @throws SessionDefunctException if the session does not exist
*/
public Session get(String id) throws SessionDefunctException {
Session s = sessionmap.get(id);
if (s == null) {
throw new SessionDefunctException(id);
}
return s;
}