different tags could be written to the same file

There was a missing synchronization in the code that maps Strings to Integers.
2018-07-28 08:37:30 +02:00
parent 3d71befbad
commit bb8dbad393
3 changed files with 61 additions and 2 deletions
--- a/pdb-api/.gitignore
+++ b/pdb-api/.gitignore
@@ -3,3 +3,4 @@
 /.settings/
 /.classpath
 /.project
+/test-output/