void (@NotNull DocumentEvent e) { if (!myUpdating) { myUpdating = true; try { String text = myField.getText(); updatePattern(text); onUpdatePattern(text); update(); } finally { myUpdating = false; } } }