[teiid-issues] [JBoss JIRA] (TEIID-5025) Improve BufferManagerCleaner shutdown