Эффективное удаление ключа Redis в Java: удаление нескольких записей, начинающихся с одного и того же префикса