Fix for Activity Log filter that causes jEdit to freeze