}
}
public void connectionErrorOccurred ( ConnectionEvent e )
{
ResourceTransaction restx = unsetResourceTransaction ();
suspendResourceTransaction ( restx );
setInvalidated ();
ConnectionEvent e2 = new ConnectionEvent ( this, e.getSQLException () );
Enumeration enumm = listeners_.elements ();
while ( enumm.hasMoreElements () ) {