tree 083390c97de3977d379d846b25470119cdd1c39d
parent 6d2cc82b0c557b549a31b4905a8c6cd3440a19f1
author margaretha <margaretha@ids-mannheim.de> 1516379722 +0100
committer margaretha <margaretha@ids-mannheim.de> 1516379722 +0100

Fixed javassist problem.

Change-Id: I7c4bb80ccfc025902f8a732a67822823cf045483