*
* @param plugin
* the FilePlugin which stands for a specific fileformat
*/
public void removeFilePlugin(FilePlugin plugin) {
ExtendedFileFilter filter = plugin.getFileFilter();
fileFilters.remove(filter);
suffixToPlugin.remove(filter.getSuffix());
supportedFiles.removeSuffix(filter.getSuffix());
}