+ string RippedTaxName = getRootName(getSimpleName(taxonomyFileName));
+ RippedTaxName = getExtension(RippedTaxName.substr(0, RippedTaxName.length()-1));
+ if (RippedTaxName[0] == '.') { RippedTaxName = RippedTaxName.substr(1, RippedTaxName.length()); }
+ RippedTaxName += ".";
+