После следования подсказкам @ Sambit и еще раз осмотрев, я нашел решение: список хранится в (в моем случае) ~/.AndroidStudio3.4/config/options/jdk.table.xml
.Там каждый элемент списка представлен элементом <jdk>
.После удаления всех нежелательных записей и перезапуска Android Studio (полный перезапуск, а не просто закрытие / открытие проекта) у меня теперь есть список, который выглядит намного лучше:
Я не пробовал, что происходит, когда вы портите структуру XML, так что будьте осторожны!