ExplorerListModel: extends ListModel<String> --> extends AbstractListModel<String>