session.addSessionListener(this);
   public SessionGUI (Session5250 session) {      super(session);      this.configurationResource = session.getConfigurationResource();      this.sessionName = session.getSessionName();      sesProps = session.sesProps;      sce = new SessionChangeEvent(this);      session.getConfiguration().addSessionConfigListener(this);   }