void ensureOpen() throws IllegalStateException {
  if (m_closed) {
    throw new IllegalStateException("Forbidden call on a closed session.");
  }
}

void ensureOpen ( ) throws IllegalStateException { if ( m_closed ) { throw new IllegalStateException ( "Forbidden call on a closed session." ) ; } }
verifies that the session isn ' t closed
