void (TreeSelectionEvent e) { final TreePath path = e.getPath(); if (path != null) { final MemberNodeBase<M> node = (MemberNodeBase)path.getLastPathComponent(); myAlarm.cancelAllRequests(); myAlarm.addRequest(() -> updateEditorTexts(node), 300); } }