m_propertyListeners = null;
m_propertyListenerArray = null;
enum1 = m_releaseListeners.elements();
while( enum1.hasMoreElements() ) {
ReleaseListener releaseListener = (ReleaseListener)enum1.nextElement();
warnln( "WARNING: released element " + this + " still has releaseListener " + releaseListener + "." );
}
m_releaseListeners = null;
m_releaseListenerArray = null;
}