public void removeFilter(String pattern){
  patterns.remove(pattern);
}

public void removeFilter ( String pattern ) { patterns . remove ( pattern ) ; }
removes a simple pattern from the list of filters
