JTable определяет редактор для типа LocalTime

Я использую Java 8 после следующей документации:

• Как использовать таблицы - использование редактора для проверки введенного пользователем текста

Я хотел бы настроить специализированный форматтер при редактировании столбца в JTable. Этот столбец содержит java.time.LocalTime экземпляры.

JTable table;
...
table.setDefaultEditor(LocalTime.class, new LocalTimeEditor());

Где LocalTimeEditor определяется (предварительно):

public class LocalTimeEditor extends DefaultCellEditor {
    JFormattedTextField ftf;

  public LocalTimeEditor() {
    super(new JFormattedTextField());
    ftf = (JFormattedTextField) getComponent();

    // Set up the editor for the LocalTime cells.
    DateTimeFormatter dateFormatter = DateTimeFormatter.ofPattern("HH:mm:ss");
    ftf.setFormatterFactory(new DefaultFormatterFactory(dateFormatter));

Но это приводит к следующей ошибке компиляции:

The constructor DefaultFormatterFactory(DateTimeFormatter) is undefined

Я хотел бы держаться подальше от решения с участием SimpleDateFormat (+ DateFormatter), как описано здесь или здесь, так как java.util.Date следует считать устаревшим (см. старый код здесь).

Есть ли решение для интеграции DateTimeFormatter с JFormattedTextField, или я заблокирован:

• JDK-8034818 - JFormattedTextField не принимает DateTimeFormatter в качестве форматирования

Я также хотел бы держаться подальше от MaskFormatter, так как это не позволяет легко обрабатывать ошибки для чего-то вроде: "25:70:90".