public void removeExtension(String ext){
synchronized (exts) {
    ext=ext.toLowerCase();
    exts.remove(ext);
  }
}

public void removeExtension ( String ext ) { synchronized ( exts ) { ext = ext . toLowerCase ( ) ; exts . remove ( ext ) ; } }
this method removes an extension to the recognizer .
