Fixing Settings.get_index_name being the same for different PDF parsers
#1125
+13
−0
Settings.get_index_name being the same for different PDF parsers
#1125