public ParametricTextualExtensionRecognizer(ArrayList exts){
  int size=exts.size();
  for (int i=0; i < size; i++) {
    Object aux=exts.get(i);
    if (aux instanceof String) {
      String ext=(String)aux;
      addExtension(ext);
    }
  }
}

public ParametricTextualExtensionRecognizer ( ArrayList exts ) { int size = exts . size ( ) ; for ( int i = 0 ; i < size ; i ++ ) { Object aux = exts . get ( i ) ; if ( aux instanceof String ) { String ext = ( String ) aux ; addExtension ( ext ) ; } } }
it builds the recognizer with an initial extension list .
