public void updatePattern(final String string) {
    if (myString.equals(string)) return;

    myJustActivated = false;

    String prevString = myString;
    myString = string;
    try {
      String pattern = "*" + string;
      NameUtil.MatchingCaseSensitivity caseSensitivity = NameUtil.MatchingCaseSensitivity.NONE;
      String separators = SpeedSearchUtil.getDefaultHardSeparators();
      NameUtil.MatcherBuilder builder = new NameUtil.MatcherBuilder(pattern).withCaseSensitivity(caseSensitivity)
        .withSeparators(separators);
      if (myMatchAllOccurrences) {
        builder = builder.allOccurrences();
      }
      myMatcher = builder.build();
    }
    catch (Exception e) {
      myMatcher = null;
    }
    fireStateChanged(prevString);
  }
public void updatePattern(final String string)