fix to Session.java