Update IMAPFilter.js