javadoc: documented TEIImporterProperties