eventually fixed a bug in TreeTaggerExporter, which may caused a
PepperFWException each time