Added public Session getSession(int session_id); - fixes #91.