Remove unused class_identifier parameter from Java object factory#4506
Merged
antlechner merged 2 commits intodiffblue:developfrom Apr 10, 2019
Commits
Commits on Apr 9, 2019
- authored andAntonia LechnercommittedAntonia Lechner
- authored andAntonia LechnercommittedAntonia Lechner