if (!this.isKnownExtension(extension)) {
throw new UnknownExtensionException() ;
}// if
if (this.getNAnalyzers(extension) != 1) {
throw new NotUniquePlugInInfoException() ;
}// if
return this.analyzerInfo.get(extension).get(0) ;
}// getAnalyzerInfo(String)